Am 22.12.2013 21:59, schrieb Terry Reedy: > Did you run "make -C Doc checkout" first? (I do not know what the -C > does, as I just do "make checkout" and occasionally make update in Doc > on Windows, which run Doc/make.bat. -C == change directory "make -C Doc html" is like "cd Doc; make html; cd .." Christian