CVSROOT: /cvs/debian-boot Module name: boot-floppies Changes by: aph 00/12/19 19:30:56 Modified files: documentation : Makefile.docs Log message: quieten down a bit, removing 'set -x' stuff on shell snippets