[gtkada] GtkAda 1.2.7 post script documentation

[Arnaud Charlet]

> The printable documentation files
> http://gtkada.eu.org/gtkada_ug.ps.gz and
> http://gtkada.eu.org/gtkada_rm.ps.gz
> 
> seem to have no page numbers.

This report is puzzling, since the page number are there for us, on the top
right corner. This is using gv under linux.

Arno