gno/doc/refs/ignored.pages
gdr-ftp 9416f9d55c - split the top level GNO docs web page into subpages
- add a file containing a list of man pages to ignore when building
  the html versions of the pages
1998-02-19 03:04:10 +00:00

15 lines
440 B
Plaintext

# These are files for which we will _not_ generate html man pages.
# It is critical that there be no whitespace either preceeding nor
# following these file names.
#
# $Id: ignored.pages,v 1.1 1998/02/19 03:03:53 gdr-ftp Exp $
#
00.DUMMY
../../usr.man/man4/tty.4
../../bin/gsh/updates1.1
../../sbin/reboot/boot.hp300.8
../../sbin/reboot/boot.i386.8
../../sbin/reboot/boot.sparc.8
../../sbin/reboot/boot.tahoe.8
../../sbin/reboot/boot.vax.8