Fixed documentation, no longer launch pdflatex in make/installation process