Compiling the manual The picoTCP user manual is written in LaTeX, which needs to be compiled to get a readable version. Dependencies: texlive, texlive-latex-extra. Build with: ./build.sh user_doc.pdf should be generated.