summaryrefslogtreecommitdiff
path: root/debian/patches/replace-texi2html-with-makeinfo
AgeCommit message (Collapse)AuthorFilesLines
2013-12-02Refresh patch replace-texi2html-with-makeinfoAxel Beckert1-3/+3
2013-09-19Format all patch headers DEP3 compliantAxel Beckert1-0/+1
Also add some more pointers to upstream relations
2013-08-26Replace texi2html by makeinfoAxel Beckert1-0/+16
Add patch to replace texi2html by makeinfo in Doc/Makefile.in. Fixes lintian warning build-depends-on-obsolete-package