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
|
# debian/makedoc.g -- GAP script
## preambule
ExtractMyManualExamples:=function( pkgname, main, files )
local path, tst, i, s, name, output, ch, a;
path:="doc";
Print("Extracting manual examples for ", pkgname, " package ...\n" );
tst:=ExtractExamples( path, main, files, "Chapter" );
Print(Length(tst), " chapters detected\n");
for i in [ 1 .. Length(tst) ] do
Print( "Chapter ", i, " : \c" );
if Length( tst[i] ) > 0 then
s := String(i);
if Length(s)=1 then
# works for <100 chapters
s:=Concatenation("0",s);
fi;
name := Filename( Directory( "tst" ),
Concatenation( LowercaseString(pkgname), s, ".tst" ) );
output := OutputTextFile( name, false ); # to empty the file first
SetPrintFormattingStatus( output, false ); # to avoid line breaks
ch := tst[i];
AppendTo(output, "# ", pkgname, ", chapter ",i,"\n");
for a in ch do
AppendTo(output, "\n# ",a[2], a[1]);
od;
Print("extracted ", Length(ch), " examples \n");
else
Print("no examples \n" );
fi;
od;
end;
## amble
SetPackagePath("openmath",".");
LoadPackage("openmath");;
MakeGAPDocDoc("doc","manual",[
"../PackageInfo.g",
"../gap/omget.gd",
"../gap/omput.gd",
"../gap/testing.gd"
],"OpenMath");;
CopyHTMLStyleFiles("doc");
ExtractMyManualExamples( "openmath", "manual.xml" , [
"../PackageInfo.g",
"../gap/omget.gd",
"../gap/omput.gd",
"../gap/testing.gd"
] );
## postamble
## eos
|
