Bryce Denney c5f59a6c27 - don't specify the names of the man pages. This makes it simpler since ... I don't have to list them, and also apparantly fixes a mysterious problem which occurred when Anders Nielsen was trying to build the RPM for PPC: his rpm appears to gzip the man pages automatically, and then complains that /usr/man/man1/bochs.1 is not found!		2001-06-06 22:46:42 +00:00
..
linux	- don't specify the names of the man pages. This makes it simpler since	2001-06-06 22:46:42 +00:00
win32	- just remove the $Id$ tag from the bximage output, because it will always	2001-06-04 03:44:45 +00:00