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