diff options
Diffstat (limited to 'doc/Make.config')
-rw-r--r-- | doc/Make.config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Make.config b/doc/Make.config index 5e6a188968..5babd44b08 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -55,7 +55,8 @@ define make-dirs mkdir -p $(PS_INSTALL); \ fi @ - cp $(SRCDIR)/oaronly.jpg $(WWW_INSTALL) - @ - cp $(SRCDIR)/rtems_full.html $(DOC_INSTALL_BASE)/html + @ - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ + <rtems_footer.html >$(DOC_INSTALL_BASE)/html/rtems_footer.html @ - cp $(SRCDIR)/HELP.html $(DOC_INSTALL_BASE)/html @ - cp $(SRCDIR)/common/*.gif $(DOC_INSTALL_BASE)/html @ - cp $(SRCDIR)/tools/texi2www/*.gif $(DOC_INSTALL_BASE)/html |