Commit 3acacf7d753d6e88753c37502691cb37ee58eab8
2018-11-18T00:49:49
Re-enable building of docs 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>