The .ps.gz files are now added to the WWW archive.
Authored by: gumpu 2001-04-02
Parent: [r43]
Child: [r45]
