forked from Lainports/freebsd-ports
77a5fc6b3f
- Fix build on amd64 - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used - Omit pdf compilation since a newer version of latex then is in ports is needed - Use PORTDOCS= macros to simplefy Makefile and pkg-plist PR: ports/166867 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0
66 lines
1.5 KiB
Text
66 lines
1.5 KiB
Text
--- doc/Makefile.doc.orig 2011-05-05 10:46:27.000000000 -0700
|
|
+++ doc/Makefile.doc 2012-04-11 22:03:35.000000000 -0700
|
|
@@ -40,16 +40,13 @@
|
|
|
|
TMPFILE=pgt
|
|
|
|
-.SUFFIXES: .texi .info .html .pdf .gz
|
|
+.SUFFIXES: .texi .info .html .gz
|
|
|
|
default: doc
|
|
|
|
.texi.info:
|
|
$(MAKEINFO) $<
|
|
|
|
-.texi.pdf:
|
|
- $(TEXI2PDF) $<
|
|
-
|
|
.texi.html:
|
|
$(TEXI2HTML) --output $* $<
|
|
|
|
@@ -61,21 +58,19 @@
|
|
gzip -f -9 $*
|
|
|
|
##
|
|
-## doc : build pdf, info files from $(DOCNAME).texi
|
|
+## doc : build info files from $(DOCNAME).texi
|
|
##
|
|
-doc: pdf info
|
|
+doc: info
|
|
|
|
##
|
|
## all : build all documentation targets
|
|
##
|
|
-all: html info pdf
|
|
+all: html info
|
|
|
|
##
|
|
## dist: build distribution targets
|
|
##
|
|
-dist: info html pdf
|
|
-
|
|
-pdf: $(DOCNAME).pdf
|
|
+dist: info html
|
|
|
|
# da: target is a fake: we actually make in a subdir
|
|
html: $(DOCNAME).html
|
|
@@ -97,18 +92,13 @@
|
|
## distclean: Remove documentation targets
|
|
##
|
|
distclean: clean
|
|
- rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
|
|
+ rm -rf $(DOCNAME).info* $(DOCNAME)
|
|
|
|
##
|
|
## texi: update magic comments in texi from docstrings in code.
|
|
## (developer use only!)
|
|
## Must be run from source .els otherwise function arguments lost
|
|
##
|
|
-$(DOCNAME).texi:
|
|
- $(MAKE) magic
|
|
-magic:
|
|
- (cd ..; make clean)
|
|
- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|
|
|
|
debugmagic:
|
|
$(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
|