This commit was generated by cvs2svn to track changes on a CVS vendor

[unix-history] / sys / i386 / doc / Makefile

# $Id$
#
# Makefile for /sys/i386/doc
# This creates options.info and options.doc from options.texi, if the
# GNU makeinfo program is present, and fails miserably otherwise.
#

all:    options.info options.doc

options.info:   options.texi
       makeinfo options.texi

options.doc:    options.texi
       makeinfo -o options.doc+ --no-headers options.texi
       sed '/^General Index/,$$d' < options.doc+ > options.doc
       rm -f options.doc+

clean:
       rm -f options.info options.doc options.doc+