OpenLogic/open-logic-debug.tex at master · OpenLogicProject/OpenLogic · GitHub

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
74
75
76
77
% open-logic-debug.tex
% master file to produce debug version
% includes all references, markup, etc.

\documentclass{memoir}

% We're compiling from main directory
\newcommand{\olpath}{.}

% For a localization, put this file in `locale/<langid>/`
% Comment out the line above, and uncomment the following line
% \newcommand*{\olpath}{../..}

% For a localization, uncomment the following lines and replace
% <langid> by the two-character language code and <language> by the
% babel language name of your translation
% \newcommand*{\ollangid}{<langid>}
% \newcommand*{\ollanguage}{<language>}

\usepackage{gitinfo2}

\input{\olpath/sty/open-logic.sty}
\input{\olpath/sty/open-logic-debug.sty}

% all sections have filename & link to GitHub printed

\setsechook{\noindent
    \hrulefill\par{\hfill
      \href{\OLTlinkname/blob/master/\olfilebase\olfilename.tex}{\texttt{\olfilebase\olfilename.tex}}}\par}

\renewcommand*{\beforepartskip}{}
\renewcommand*{\afterpartskip}{}
\renewcommand*{\clearforchapter}{}
\nopartblankpage
\let\cleardoublepage\clearpage

\pagestyle{openlogic}

\begin{document}

\begin{titlingpage}
\begin{raggedleft}
\HUGE
\selectfont\bfseries\sffamily
\MakeUppercase{\OLTname}
\vskip 3ex
\normalfont\huge
Debug Build
\ifdefined\ollangid
  \quad (\ollanguage~/ \ollangid)
\fi
\vskip 4ex
\textbf{\href{http://openlogicproject.org/}{\OLPname}}
\vskip 4ex
\Large
Revision\gitRel: \gitAbbrevHash{} (\gitBranch)\\
\gitAuthorDate

\end{raggedleft}

\vfill

\ollicense

\end{titlingpage}

% make links red green
\hypersetup{urlcolor=[rgb]{0.5,0,0}}

\pagestyle{giheadings}

\tableofcontents*

% include complete text
\olimport[content]{content}

\end{document}