summaryrefslogtreecommitdiff
path: root/sys/i386/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'sys/i386/doc/Makefile')
-rw-r--r--sys/i386/doc/Makefile19
1 files changed, 0 insertions, 19 deletions
diff --git a/sys/i386/doc/Makefile b/sys/i386/doc/Makefile
deleted file mode 100644
index 67fb36b0ceace..0000000000000
--- a/sys/i386/doc/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-# $Id: Makefile,v 1.1 1993/11/06 00:07:42 wollman Exp $
-#
-# 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+