log
graph
tags
branches
changeset
browse
file
latest
diff
annotate
file log
raw
help
ProofGeneral
diff doc/Makefile.doc @ 6870:3d3911b9a9a1
find changesets by author, revision, files, or words in the commit message
update tags
author convert-repo
date Mon Aug 17 16:05:22 2009 +0000 (2009-08-17)
parents 85454abf28f4
children 6ea5c99e59bc
line diff
1.1 --- a/doc/Makefile.doc Thu Jan 17 13:50:26 2008 +0100
1.2 +++ b/doc/Makefile.doc Mon Aug 17 16:05:22 2009 +0000
1.3 @@ -39,7 +39,7 @@
1.4 TEXI2PDF = texi2pdf
1.5 TEXI2HTML = texi2html -expandinfo -number -split_chapter
1.6 EMACS = emacs
1.7 -EMACSFLAGS = -q -no-site-file -batch
1.8 +EMACSFLAGS = -q -no-site-file
1.9
1.10 TMPFILE=pgt
1.11
1.12 @@ -158,7 +158,7 @@
1.13 $(DOCNAME).texi:
1.14 $(MAKE) magic
1.15 magic:
1.16 - $(EMACS) $(EMACSFLAGS) -l ./docstring-magic.el $(DOCNAME).texi
-f texi-docstring-magic -f save-buffer
1.17 + $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el
$(DOCNAME).texi -f texi-docstring-magic -f save-buffer
1.18
1.19 debugmagic:
1.20 $(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l
./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer