Add initial glossary

yurrriq · yurrriq · commit 7a6f0b0fbb1f · 2017-07-07T01:45:20.000-05:00
Includes a workaround from Stack Exchange: https://tex.stackexchange.com/a/85700
diff --git a/.gitignore b/.gitignore
@@ -188,5 +188,4 @@ TSWLatexianTemp*
 
 ## Generated LaTeX files:
 *.tex
-!book.tex
-src/auto/
+src/auto/
diff --git a/src/.gitignore b/src/.gitignore
@@ -0,0 +1,3 @@
+!book.tex
+!footer.tex
+!glossary.tex
diff --git a/src/Makefile b/src/Makefile
@@ -37,7 +37,7 @@ all.pdf: all.tex
 
 all.tex: book.tex $(TEXFILES)
 	$(PANDOC) $(PANDOC_FLAGS) -N --toc -o $@ \
-	$(foreach texfile,$(TEXFILES),-A $(texfile)) $<
+	$(foreach texfile,$(TEXFILES),-A $(texfile)) -A footer.tex $<
 
 
 %.tex: %.lidr
diff --git a/src/book.tex b/src/book.tex
@@ -23,7 +23,18 @@
 papersize: b5
 geometry: margin=1in
 header-includes:
+- \makeatletter
+- \let\RequirePackage\original@RequirePackage
+- \let\usepackage\RequirePackage
+- \makeatother
+-
 - \usepackage{minted}
+- \usemintedstyle{lovelace}
+-
+- \usepackage[xindy]{glossaries}
+- \makeglossaries
+- \input{glossary}
+-
 - \usepackage{todonotes}
 include-before: \frontmatter
 ---
diff --git a/src/footer.tex b/src/footer.tex
@@ -0,0 +1 @@
+\printglossaries
diff --git a/src/glossary.tex b/src/glossary.tex
@@ -0,0 +1,11 @@
+\longnewglossaryentry{idris-add-clause}{
+  name=\mintinline[]{elisp}{idris-add-clause},
+  sort=i
+}
+{
+  \mintinline[]{elisp}{(idris-add-clause PROOF)}
+
+  \mintinline[]{text}{M-RET d} in Spacemacs.
+
+  Add clauses to the declaration at point.
+}
