Werner Almesberger 21513c1c61 title page: always generate title.ps when generating the catalog ...

In order to keep "phony" title.ps from triggering a catalog rebuild when
nothing has changed, we also have to remove it as a dependency from
"catalog", and just invoke "make" explicitly.

2012-12-21 20:25:35 -03:00

..

Makefile.title

title page: always generate title.ps when generating the catalog

2012-12-21 20:25:35 -03:00

title.fig

add title pages to the catalogs, with useful information like the creation date

2012-12-21 00:51:20 -03:00