cvs commit to debian-cd/tools by pere

[Debian Boot CVS Master]

Repository: debian-cd/tools
who:        pere
time:       Sat Dec 14 07:02:07 MST 2002
Log Message:
  Make disk number available in tools/add-bin-doc.

Files:
changed:    add-bin-doc