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

From: Taylan Kammer <[email-masked]>
Date: Mon, 17 May 2021 19:16:20 +0200

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