diff man/Makefile @ 4310:a6d7e031a10b

Fix two Tailor glitches. For some reason, Tailor didn't copy these changes from CVS to Mercurial. Do so manually, really synching us with the latest from CVS.
author Mike Sperber <sperber@deinprogramm.de>
date Thu, 06 Dec 2007 20:10:16 +0100
parents e358b6c40407
children bd3e7db3bdf6 e82f5b7010fe
line wrap: on
line diff