[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[O] make doc fails on current head
From: |
Jonathan Leech-Pepin |
Subject: |
[O] make doc fails on current head |
Date: |
Thu, 31 May 2012 11:21:41 -0400 |
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
- [O] make doc fails on current head,
Jonathan Leech-Pepin <=