diff options
Diffstat (limited to 'doc/src2html/Makefile')
-rw-r--r-- | doc/src2html/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/doc/src2html/Makefile b/doc/src2html/Makefile new file mode 100644 index 0000000000..861deb33e0 --- /dev/null +++ b/doc/src2html/Makefile @@ -0,0 +1,34 @@ +# +# COPYRIGHT (c) 1988-1998. +# On-Line Applications Research Corporation (OAR). +# All rights reserved. +# +# $Id$ +# + +PROJECT=src +DISTRIBUTION_LEVEL=internal + +include ../Make.config + +all: html info ps + +dirs: + $(make-dirs) + +COMMON_FILES=../common/cpright.texi + +FILES= clock.texi cond.texi key.texi mutex.texi $(PROJECT).texi preface.texi \ + sched.texi signal.texi thread.texi $(COMMON_FILES) + +INFOFILES=$(wildcard $(PROJECT) $(PROJECT)-*) + +info: + +ps: + +html: dirs + -mkdir -p $(WWW_INSTALL)/$(PROJECT) + $(SRC2HTML) -d3 RTEMS.test + +clean: |