-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathmakedoc.g
73 lines (69 loc) · 2.51 KB
/
makedoc.g
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
# SPDX-License-Identifier: GPL-2.0-or-later
# FinGSetsForCAP: The elementary topos of (skeletal) finite G-sets
#
# This file is a script which compiles the package manual.
#
if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
Error( "AutoDoc version 2019.05.20 or newer is required." );
fi;
AutoDoc( rec(
autodoc := rec(
files := [ "doc/Doc.autodoc" ],
scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
),
extract_examples := rec(
units := "Single",
),
gapdoc := rec(
LaTeXOptions := rec(
LateExtraPreamble := """
\usepackage[T1]{fontenc}
\usepackage[british]{babel}
\usepackage{microtype}
\usepackage{amsmath}
\usepackage{calc}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage[dvipsnames]{xcolor}
\usepackage{hyperref}
\usepackage[linesnumbered,ruled,vlined]{algorithm2e}
\usepackage{cite}
\usepackage{url}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows,matrix}
\usepackage{tikz-cd}
\usepackage{makeidx}
\usepackage{listings}
\usepackage[scaled]{beramono}
\usepackage[figure]{hypcap}
\renewcommand{\hypcapspace}{2\baselineskip}
\usepackage{mathtools}
\usepackage{faktor}
\DeclareMathOperator{\Stab}{Stab}
\DeclareMathOperator{\fix}{fix}
\DeclareMathOperator{\coeq}{coeq}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\CartProdExt}{CartProdExt}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\op}{op}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\Obj}{Obj}
\usepackage{ifthen}
% use \ell instead of l everywhere
\mathcode`l="8000
\begingroup
\makeatletter
\lccode`\~=`\l
\DeclareMathSymbol{\lsb@l}{\mathalpha}{letters}{`l}
\lowercase{\gdef~{\ifnum\the\mathgroup=\m@ne \ell \else \lsb@l \fi}}%
\endgroup
""",
),
),
scaffold := rec(
entities := [ "homalg", "CAP" ],
),
) );
QUIT;