[O] make doc fails on current head

[Jonathan Leech-Pepin]

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