I've had this in a local tree since February; better to flush local changes.
This just adjust a comment to match the code wrt. ordering of steps. Applied, and I updated the instance on gcc.gnu.org as well. Gerald Index: bin/preprocess =================================================================== RCS file: /cvs/gcc/wwwdocs/bin/preprocess,v retrieving revision 1.51 diff -u -r1.51 preprocess --- bin/preprocess 25 May 2016 20:35:09 -0000 1.51 +++ bin/preprocess 25 Nov 2017 18:45:12 -0000 @@ -119,9 +119,9 @@ exit 1 fi - # Then remove leading blank lines and single line comments. # Use sed to work around makeinfo 4.7 brokenness. # Use sed to work around MetaHTML brokenness wrt. <DIV>. + # Then remove leading blank lines and single line comments. cat $TMPDIR/output.raw \ | sed -e 's/_002d/-/g' -e 's/_002a/*/g' \ | sed -e 's/<DIV/<div/g' \