Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Debian patch fix-pdf-generation: Description: Fix PDF refman generation This just remove a pre-latex-processing hack that just breaks nowadays. The Makefile.in was updated by hand, since autostuff is way old and apparently more work is needed to make regeneration work properly. Author: Yann Dirson <dirson@debian.org> Bug-Debian: http://bugs.debian.org/718100 Debian patch enable-docs.patch: Author: Manuel A. Fernandez Montecelo <manuel.montezelo@gmail.com>
- Loading branch information