2 Commits

Author	SHA1	Message	Date
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
Werner Almesberger	e324adc35a	add title pages to the catalogs, with useful information like the creation date	2012-12-21 00:51:20 -03:00