diff options
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index b306018624..82949440a4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,6 +19,8 @@ headers: sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ <index.html >$(WWW_INSTALL)/index.html sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ + <rtems_support.html >$(WWW_INSTALL)/rtems_support.html + sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ <rtems_header.html >$(WWW_INSTALL)/rtems_header.html sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ <rtems_footer.html >$(WWW_INSTALL)/rtems_footer.html |