I should just do cd doc; make html right?