summaryrefslogtreecommitdiff
path: root/math/proofgeneral/files/patch-doc-Makefile.doc
blob: 67bde09313fd193bfe44d3d4313f594bba78728d (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
--- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
+++ doc/Makefile.doc	2012-07-10 15:19:30.000000000 -0700
@@ -18,7 +18,7 @@
 
 MAKE = make -f Makefile.doc 
 MAKEINFO = makeinfo
-TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
+TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
 # `texinfo-tex' package contains texi2pdf
 TEXI2PDF = texi2pdf
 # `dviutils' package contains these useful utilities.
@@ -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