Skip to content

Commit 78c830c

Browse files
Add makedoc.g
1 parent 1d42da1 commit 78c830c

File tree

3 files changed

+35
-1
lines changed

3 files changed

+35
-1
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,3 +81,4 @@ tst/out/*
8181
wilf-coverage.py
8282
data/digraphs-lib-0.5
8383
gh-pages/
84+
manual.lab

VERSION

Lines changed: 0 additions & 1 deletion
This file was deleted.

makedoc.g

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
## this creates the documentation, needs: GAPDoc package, latex, pdflatex,
2+
## mkindex, dvips
3+
##
4+
## Call this with GAP in the package directory:
5+
##
6+
## gap makedoc.g
7+
##
8+
9+
PACKAGE := "Digraphs";
10+
PrintTo("VERSION", PackageInfo(PACKAGE)[1].Version);
11+
LoadPackage("GAPDoc");
12+
13+
_DocXMLFiles := ["attr.xml",
14+
"bliss.xml",
15+
"cliques.xml",
16+
"digraph.xml",
17+
"display.xml",
18+
"grahom.xml",
19+
"grape.xml",
20+
"io.xml",
21+
"oper.xml",
22+
"orbits.xml",
23+
"prop.xml",
24+
"utils.xml",
25+
"../PackageInfo.g"];
26+
27+
MakeGAPDocDoc(Concatenation(PackageInfo("digraphs")[1]!.
28+
InstallationPath, "/doc"),
29+
"main.xml", _DocXMLFiles, "Digraphs", "MathJax",
30+
"../../..");
31+
CopyHTMLStyleFiles("doc");
32+
GAPDocManualLab(PACKAGE);
33+
34+
QUIT;

0 commit comments

Comments
 (0)