summaryrefslogtreecommitdiffstats
path: root/doc/user/Makefile
diff options
context:
space:
mode:
authorJoel Sherrill <joel.sherrill@OARcorp.com>1998-04-02 16:21:08 +0000
committerJoel Sherrill <joel.sherrill@OARcorp.com>1998-04-02 16:21:08 +0000
commit56061f5d46348a825ad96305cd8dfe0bc6e26c75 (patch)
tree8a3c64a16a953672be79c5951763dada12879403 /doc/user/Makefile
parent87ed029c79514f1417fa42a1a3bda6c3716654f4 (diff)
downloadrtems-56061f5d46348a825ad96305cd8dfe0bc6e26c75.tar.bz2
Went back to not printing an index. makeinfo does fine if you have indices
but do not print them. texi2dvi barfs if the entries are even there.
Diffstat (limited to 'doc/user/Makefile')
-rw-r--r--doc/user/Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/user/Makefile b/doc/user/Makefile
index 86701d9cb6..806699f28c 100644
--- a/doc/user/Makefile
+++ b/doc/user/Makefile
@@ -18,10 +18,10 @@ dirs:
COMMON_FILES=../common/cpright.texi
FILES= bsp.texi c_user.texi clock.texi concepts.texi conf.texi \
-dirstat.texi dpmem.texi event.texi example.texi fatal.texi \
-glossary.texi init.texi intr.texi io.texi mp.texi msg.texi overview.texi \
-part.texi preface.texi region.texi rtmon.texi schedule.texi sem.texi \
-signal.texi task.texi timer.texi userext.texi $(COMMON_FILES)
+ dirstat.texi dpmem.texi event.texi example.texi fatal.texi \
+ glossary.texi init.texi intr.texi io.texi mp.texi msg.texi overview.texi \
+ part.texi preface.texi region.texi rtmon.texi schedule.texi sem.texi \
+ signal.texi task.texi timer.texi userext.texi $(COMMON_FILES)
GENERATED_FILES=overview.texi concepts.texi init.texi task.texi \
intr.texi clock.texi timer.texi sem.texi msg.texi \