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