diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 1302cc974f..39ca6a35f4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -25,6 +25,7 @@ headers: sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ <$(SRCDIR)/rtems_footer.html >$(WWW_INSTALL)/rtems_footer.html cp common/*.gif $(WWW_INSTALL) + cp BAD.html $(WWW_INSTALL) info: env ./do_docs $(BASEDIR) info |