projects / unix-history / blame
| Commit | Line | Data |
|---|---|---|
| 49d50d3a GW |
1 | # $Id$ |
| 2 | # | |
| 3 | # Makefile for /sys/i386/doc | |
| 4 | # This creates options.info and options.doc from options.texi, if the | |
| 5 | # GNU makeinfo program is present, and fails miserably otherwise. | |
| 6 | # | |
| 7 | ||
| 8 | all: options.info options.doc | |
| 9 | ||
| 10 | options.info: options.texi | |
| 11 | makeinfo options.texi | |
| 12 | ||
| 13 | options.doc: options.texi | |
| 14 | makeinfo -o options.doc+ --no-headers options.texi | |
| 15 | sed '/^General Index/,$$d' < options.doc+ > options.doc | |
| 16 | rm -f options.doc+ | |
| 17 | ||
| 18 | clean: | |
| 19 | rm -f options.info options.doc options.doc+ |