1Downloading the manual
2----------------------
3
4With every git commit, we rebuild the documentation and make the [user_doc.pdf](http://162.13.84.104/user_doc.pdf) file (click to download) publicly available.
5
6If for some reason, you're looking for an older version of the documentation, please check out the wanted commit in git, and compile the manual as described below.
7
8Compiling the manual
9--------------------
10
11The picoTCP user manual is written in LaTeX, which needs to be compiled to get a readable version.
12First and foremost you need the compiler and some packages:
13* sudo apt-get install texlive
14* sudo apt-get install texlive-latex-extra
15
16Now, cd into docs/user_manual and do
17* ./build.sh
18
19A user_doc.pdf should be generated in the current directory
20
21