From 37e077c9dcc0c5afac71a522dde5955a0e2ac71f Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Thu, 2 Apr 1998 16:49:17 +0000
Subject: Corrected wildcard for info files

---
 doc/ada_user/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ada_user/Makefile b/doc/ada_user/Makefile
index 67fd7229ef..e2d6d39122 100644
--- a/doc/ada_user/Makefile
+++ b/doc/ada_user/Makefile
@@ -30,7 +30,7 @@ dirs:
 INFOFILES=$(wildcard $(PROJECT) $(PROJECT)-*)
 
 info: dirs ada_user
-	cp $(PROJECT) $(PROJECT)-* $(INFO_INSTALL)
+	cp $(shell ls -1 $(PROJECT) $(PROJECT)-* 2>/dev/null) $(INFO_INSTALL)
 
 ada_user: $(FILES)
 	$(MAKEINFO) $(PROJECT).texi
@@ -46,6 +46,7 @@ $(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) \
-- 
cgit v1.2.3