CVSROOT: /cvs/debian-doc Module name: ddp Changes by: joy 03/01/09 06:09:07 Modified files: manuals.sgml : Makefile Log message: i wanted GNU time, not the builtin time