bug#15536: Problem with listing of online Guile manuals on gnu.org

2021-05-17 Thread Taylan Kammer
In 2013, Mark wrote: > http://www.gnu.org/software/guile/manual/ includes the following: > > --8<---cut here---start->8--- > PostScript file > (%%PS_GZ_SIZE%%K bytes gzipped). > --8<---cut here---end--->8--- > > where pr

bug#15536: Problem with listing of online Guile manuals on gnu.org

2013-10-05 Thread Mark H Weaver
http://www.gnu.org/software/guile/manual/ includes the following: --8<---cut here---start->8--- PostScript file (%%PS_GZ_SIZE%%K bytes gzipped). --8<---cut here---end--->8--- where presumably "%%PS_GZ_SIZE%%" should have