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

In 2013, Mark wrote:

> http://www.gnu.org/software/guile/manual/ includes the following:
> 
> --8<---------------cut here---------------start------------->8---
> <li><a href="guile.ps.gz">PostScript file
>     (%%PS_GZ_SIZE%%K bytes gzipped)</a>.</li>
> --8<---------------cut here---------------end--------------->8---
> 
> where presumably "%%PS_GZ_SIZE%%" should have been converted to a number
> somewhere along the way.
> 
>      Mark

Let's fix this after 7 years! :-)

Who controls that page?

The PostScript link is also a 404, so I think it should simply be removed.


-- 
Taylan