diff --git a/man/buildman.sh b/man/buildman.sh
index 6e04501e5..e3674488d 100755
--- a/man/buildman.sh
+++ b/man/buildman.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
+# To install required tools in debian:
+# sudo apt-get install pandoc texlive-latex-base texlive-fonts-recommended texlive-latex-extra
 
-pandoc manual.md  -o manual.pdf -s --pdf-engine=pdflatex --number-sections
+pandoc manual.md  -o manual.pdf -s --number-sections
 pandoc manual.md  -o manual.html -s --number-sections