diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:49:17 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:49:17 +0000 |
| commit | 37e077c9dcc0c5afac71a522dde5955a0e2ac71f (patch) | |
| tree | 9cf2fc3cd2d871b244e2ed67bcbb6f4614dafc2e /doc | |
| parent | Went back to not printing an index. makeinfo does fine if you have indices (diff) | |
| download | rtems-37e077c9dcc0c5afac71a522dde5955a0e2ac71f.tar.bz2 | |
Corrected wildcard for info files
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ada_user/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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) \ |