diff options
-rw-r--r-- | doc/Make.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Make.config b/doc/Make.config index 7a4d427f41..3716dd1482 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -56,7 +56,7 @@ define make-dirs fi @ - cp $(SRCDIR)/oaronly.jpg $(WWW_INSTALL) @ - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ - <rtems_footer.html >$(DOC_INSTALL_BASE)/html/rtems_footer.html + <$(SRCDIR)/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 |