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-* _*
-