Closed eparejatobes closed 10 years ago
This should be a warning, when doing automated installs there's no point in generating a manual as part of the install process.
:+1:
Just as a temporary workaround:
make -W doc -W Manual.pdf
Makefile now tests for existence of pdflatex executable, prints out a warning if it not found.
This should be a warning, when doing automated installs there's no point in generating a manual as part of the install process.