Hello, Under the current git head (4144c55) I get the following error when trying to run =make doc=.
#+begin_src sh ~/build/org-mode $ make doc /usr/bin/make -C doc info make[1]: Entering directory `/cygdrive/d/Users/jleechpe/build/org-mode/doc' makeinfo --no-split org.texi -o org org.texi:2450: Unknown command `#$2)'. makeinfo: Removing output file `org' due to errors; use --force to preserve. Makefile:53: recipe for target `org' failed make[1]: *** [org] Error 1 make[1]: Leaving directory `/cygdrive/d/Users/jleechpe/build/org-mode/doc' targets.mk:76: recipe for target `info' failed make: *** [info] Error 2 ~/build/org-mode $ #+end_src If I revert to =git checkout HEAD~1= make doc succeeds as it had previously. Regards, Jonathan
