emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed
* make doc fails on current head
@ 2012-05-31 15:21 Jonathan Leech-Pepin
  2012-05-31 17:32 ` Michael Brand
  2012-06-01  7:48 ` Bastien
  0 siblings, 2 replies; 10+ messages in thread
From: Jonathan Leech-Pepin @ 2012-05-31 15:21 UTC (permalink / raw)
  To: Org Mode Mailing List

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

^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2012-06-01 13:46 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-05-31 15:21 make doc fails on current head Jonathan Leech-Pepin
2012-05-31 17:32 ` Michael Brand
2012-05-31 21:58   ` Nick Dokos
2012-06-01  3:16     ` Michael Brand
2012-06-01  7:48   ` Bastien
2012-06-01  8:05     ` Michael Brand
2012-06-01  8:14     ` Nick Dokos
2012-06-01 12:56       ` Bastien
2012-06-01 13:45         ` Jonathan Leech-Pepin
2012-06-01  7:48 ` Bastien

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).