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
|
Index: gap-tomlib-1r2p3/doc/Makefile
===================================================================
--- gap-tomlib-1r2p3.orig/doc/Makefile 2013-10-10 13:40:40.000000000 +0200
+++ gap-tomlib-1r2p3/doc/Makefile 2013-10-22 15:06:04.437244400 +0200
@@ -1,14 +1,21 @@
+GAP=gap -r
-GAP=gap4 -r
-
-gapdoc:
+gapdoc: tomdiff.pdf ../htm/tomdiff.htm
@echo 'RequirePackage("gapdoc");; MakeGAPDocDoc( "./", "tomlib", ["../gap/tmadmin.tmd", "../gap/stdgen.gd"], "tomlib" );;' | $(GAP) -q -T
clean:
@rm -f tomlib.aux tomlib.bbl tomlib.blg tomlib.idx tomlib.ilg tomlib.ind tomlib.log tomlib.pnr tomlib.tex tomlib.toc tomlib.br
+ @rm -f tomdiff.aux tomdiff.log
@rm -f *~
spotless: clean
@rm -f manual.dvi manual.html manual.pdf manual.ps manual.six
@rm -f chap*.html chap*.txt
+ @rm -f tomdiff.pdf ../htm/tomdiff.htm
+
+tomdiff.pdf: tomdiff.tex
+ pdftex tomdiff.tex
+
+../htm/tomdiff.htm: tomdiff.tex
+ tth < tomdiff.tex > ../htm/tomdiff.htm
|
