summaryrefslogtreecommitdiff
path: root/debian/patches/replace-texi2html-with-makeinfo
AgeCommit message (Expand)AuthorFilesLines
2014-08-12Refresh replace-texi2html-with-makeinfo, drop texi2html-conf-source-dir-vs-bu...Axel Beckert1-1/+1
2014-08-11Refresh patch replace-texi2html-with-makeinfoAxel Beckert1-5/+5
2013-12-02Refresh patch replace-texi2html-with-makeinfoAxel Beckert1-3/+3
2013-09-19Format all patch headers DEP3 compliantAxel Beckert1-0/+1
2013-08-26Replace texi2html by makeinfoAxel Beckert1-0/+16