diff options
-rw-r--r-- | doc/Make.config | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Make.config b/doc/Make.config index 96c4753fc3..0c054aed98 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -37,7 +37,9 @@ endif # -footer $(WWW_INSTALL)/rtems_footer.html TEXI2WWW_ARGS=-dirfile ../$(RLEVEL)index.html \ -header $(WWW_INSTALL)/$(RLEVEL)rtems_header.html \ - -footer $(WWW_INSTALL)/$(RLEVEL)rtems_footer.html + -footer $(WWW_INSTALL)/$(RLEVEL)rtems_footer.html \ + -icons $(RLEVEL).. + define make-dirs @ if [ ! -d $(WWW_INSTALL) ] ; then \ |