diff options
Diffstat (limited to 'doc/src2html/Makefile')
-rw-r--r-- | doc/src2html/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/src2html/Makefile b/doc/src2html/Makefile index c17296baac..25bb78f07f 100644 --- a/doc/src2html/Makefile +++ b/doc/src2html/Makefile @@ -29,6 +29,11 @@ ps: html: dirs -mkdir -p $(WWW_INSTALL)/$(PROJECT) - $(SRC2HTML) -d3 RTEMS.test + $(SRC2HTML) -d3 RTEMS.src +RTEMS.src: + sed -e 's/WWW_INSTALL/$(WWW_INSTALL)/' \ + <RTEMS.test >RTEMS.src + clean: + rm -f RTEMS.src |