This is the manual for Tamarin. It is written in Pandoc markdown, from which both an HTML website can be generated as well as a PDF book.
The source files can be found in the src directory.
To compile the manual, you need pandoc and pandoc-citeproc. We recommend to use stack to install these dependencies.
stack install pandoc pandoc-citeproc
(If you get any errors while running this, make sure you're running the latest version of Stack:
stack update && stack upgrade then try again.)
To create the PDF, xelatex is required, which is part of the texlive packages. On Ubuntu/Debian systems it can usually be installed directly.
sudo apt-get install texlive-xetex texlive-latex-extra texlive-fonts-recommended latex-xcolor lmodern
The build process additionally depends on the make toolchain.
There are two main branches: /master and /develop. The intent is that they are
synchronised with Tamarin's corresponding source code branches.
To suggest improvements/extensions for the current manual,
create a pull request for the /master branch.
To add documentation for new features that have been accepted into the /develop
branch of Tamarin's source repository, create a pull request for the /develop
branch.
Building the online (HTML) documentation can be done by invoking the Makefile
without arguments, i.e.:
make
In this case, the starting page would be index.html which would link directly
to book/001_introduction.html.
The PDF-based (printable) book documentation can be build by invoking the
Makefile with the pdf argument:
make pdf
The result should end up in tex/tamarin-manual.pdf.
The navigation on the left is hardcoded in templates/template.html. In
particular, the navigations directly refers to the names of the files in src.
This means one has to take care when renaming or adding sections.