File: fix-makedoc

package info (click to toggle)
gap-autpgrp 1.11.1-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 540 kB
  • sloc: makefile: 115; sh: 9
file content (42 lines) | stat: -rw-r--r-- 1,452 bytes parent folder | download
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
Index: gap-autpgrp-1.10.2/doc/make_doc
===================================================================
--- gap-autpgrp-1.10.2.orig/doc/make_doc
+++ gap-autpgrp-1.10.2/doc/make_doc
@@ -8,13 +8,14 @@
 ##  and etc/convert.pl) documentation for the AutPGrp Package.
 ##
 
+set -e
 echo "TeXing documentation"
 # TeX the manual
 tex manual
 # when there's a bibliography uncomment next line
 #bibtex manual
 # TeX the manual again to incorporate the ToC ... and build the index
-tex manual; ../../../doc/manualindex manual
+tex manual; /usr/share/gap/etc/manualindex manual
 # Finally TeX the manual again to get cross-references right
 tex manual
 # Create the PostScript version (uncomment next line, if needed)
@@ -25,7 +26,7 @@ pdftex manual; pdftex manual
 # The HTML version of the manual
 mkdir -p ../htm
 echo "Creating HTML documentation"
-../../../etc/convert.pl -i -u -c -n AutPGrp . ../htm
+GAP_CONVERT_DATE="April 2025" /usr/share/gap/etc/convert.pl -i -u -c -n AutPGrp . ../htm
 
 #########################################################################
 ##
Index: gap-autpgrp-1.10.2/doc/manual.tex
===================================================================
--- gap-autpgrp-1.10.2.orig/doc/manual.tex
+++ gap-autpgrp-1.10.2/doc/manual.tex
@@ -2,7 +2,7 @@
 %%
 %F  gapmacro . . . . . . . . . . . . . . . . . read the GAP macro package
 %%
-\input ../../../doc/gapmacro
+\input /usr/share/gap/etc/gapmacro
 \Package{AutPGrp}
 %
 %