diff options
Diffstat (limited to 'doc/ada_user/Makefile')
-rw-r--r-- | doc/ada_user/Makefile | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile deleted file mode 100644 index e2d6d39122..0000000000 --- a/doc/ada_user/Makefile +++ /dev/null @@ -1,59 +0,0 @@ -# -# COPYRIGHT (c) 1988-1998. -# On-Line Applications Research Corporation (OAR). -# All rights reserved. -# -# $Id$ -# - -PROJECT=ada_user -DISTRIBUTION_LEVEL=internal - -include ../Make.config - -all: html info ps - -COMMON_FILES=../common/cpright.texi ../user/bsp.texi ../user/clock.texi \ - ../user/concepts.texi ../user/conf.texi ../user/dirstat.texi \ - ../user/dpmem.texi ../user/event.texi \ - ../user/fatal.texi ../user/glossary.texi ../user/init.texi \ - ../user/intr.texi ../user/io.texi ../user/mp.texi ../user/msg.texi \ - ../user/overview.texi ../user/part.texi ../user/preface.texi \ - ../user/region.texi ../user/rtmon.texi ../user/schedule.texi \ - ../user/sem.texi ../user/signal.texi ../user/task.texi \ - ../user/timer.texi ../user/userext.texi -FILES= ada_user.texi example.texi $(COMMON_FILES) - -dirs: - $(make-dirs) - -INFOFILES=$(wildcard $(PROJECT) $(PROJECT)-*) - -info: dirs ada_user - cp $(shell ls -1 $(PROJECT) $(PROJECT)-* 2>/dev/null) $(INFO_INSTALL) - -ada_user: $(FILES) - $(MAKEINFO) $(PROJECT).texi - -dvi: $(PROJECT).dvi -ps: dirs $(PROJECT).ps - -$(PROJECT).ps: dirs $(PROJECT).dvi - dvips -o $(PROJECT).ps $(PROJECT).dvi - cp $(PROJECT).ps $(PS_INSTALL) - -$(PROJECT).dvi: $(FILES) - $(TEXI2DVI) $(PROJECT).texi - -html: dirs $(FILES) - -mkdir -p $(WWW_INSTALL)/ada_user - cp ../user/rtemsarc.gif ../user/rtemspie.gif ../user/states.gif \ - $(WWW_INSTALL)/ada_user - $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/$(PROJECT) \ - $(PROJECT).texi - -clean: - rm -f *.o $(PROG) *.txt core *.html - rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE) - rm -f ada_user ada_user-* _* - |