This has just been committed in git, the patch is now called debian-specific/566076-build_doc_adjustments.patch (attached here for your convenience); the patch has been renamed to be consistent with our naming scheme for patches.
Cheers Antonio
Use w3m to build the txt manual --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -102,9 +102,7 @@ check: manual.txt: manual.html - -LC_ALL=C lynx -dump -nolist -with_backspaces -display_charset=us-ascii manual.html > $@ || \ - LC_ALL=C w3m -dump manual.html > $@ || \ - LC_ALL=C elinks -dump -no-numbering -no-references manual.html | sed -e 's,\\001, ,g' > $@ + LC_ALL=C w3m -dump -O UTF-8 manual.html > $@ Muttrc: stamp-doc-rc @@ -116,10 +114,10 @@ touch stamp-doc-rc manual.html: $(srcdir)/html.xsl $(srcdir)/mutt.xsl stamp-doc-xml $(srcdir)/mutt.css - -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml + xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml stamp-doc-chunked: $(srcdir)/chunk.xsl $(srcdir)/mutt.xsl stamp-doc-xml $(srcdir)/mutt.css - -xsltproc --nonet $(srcdir)/chunk.xsl manual.xml + xsltproc --nonet $(srcdir)/chunk.xsl manual.xml touch stamp-doc-chunked $(CHUNKED_DOCFILES): stamp-doc-chunked
