docs: enable pdf generation and add link to side bar

documentation/Makefile

@@ -18,9 +18,16 @@ ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 
 install all: build
 	cp -r $(BUILDDIR)/html $(INSTALL_LOCATION)
+ifdef pdf
+	cp $(BUILDDIR)/latex/Manual.pdf $(INSTALL_LOCATION)/html
+endif
 
 build: html
 
+ifdef pdf
+build: pdf
+endif
+
 help:
 	@echo "Please use \`make <target>' where <target> is one of"
 	@echo "  html      to make standalone HTML files"
@@ -96,5 +103,9 @@ doctest:
 	@echo "Testing of doctests in the sources finished, look at the " \
 	      "results in $(BUILDDIR)/doctest/output.txt."
 
+pdf: html
+	$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
+	$(MAKE) -C $(BUILDDIR)/latex all-pdf
+
 bnf.inc: snl.bnf bnf2txt.pl
 	perl -n bnf2txt.pl $< > $@

documentation/conf.py

@@ -185,7 +185,7 @@ Benjamin Franksen (benjamin.franksen$@$bessy.de)
 # Grouping the document tree into LaTeX files. List of tuples
 # (source start file, target name, title, author, documentclass [howto/manual]).
 latex_documents = [
-  ('Manual', 'seq.tex', 'State Notation Language and Sequencer Users\' Guide',
+  ('Manual', 'Manual.tex', 'State Notation Language and Sequencer Users\' Guide',
     latex_authors, 'manual'),
 ]
 

documentation/templates/layout.html

@@ -6,9 +6,10 @@
 {%- else %}
 <h3>{{ 'Shortcuts' }}</h3>
 <ul class="topless">
-<li><a href="{{ pathto('Installation.html', 1) }}">{{ 'Download' }}</a></li>
-<li><a href="{{ pathto('Tutorial.html', 1) }}">{{ 'Tutorial' }}</a></li>
-<li><a href="{{ pathto('Manual.html', 1) }}">{{ "Users' Guide" }}</a></li>
+<li><a href="{{ pathto('Installation.html', 1) }}">Download</a></li>
+<li><a href="{{ pathto('Tutorial.html', 1) }}">Tutorial</a></li>
+<li><a href="{{ pathto('Manual.html', 1) }}">Users' Guide (html)</a></li>
+<li><a href="{{ pathto('Manual.pdf', 1) }}">Users' Guide (pdf)</a></li>
 </ul>
 <h3>{{ _('Related') }}</h3>
 <ul class="topless">