diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/src2html/Makefile | 7 | ||||
-rw-r--r-- | doc/src2html/RTEMS.test | 2 |
2 files changed, 7 insertions, 2 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 diff --git a/doc/src2html/RTEMS.test b/doc/src2html/RTEMS.test index 990497c7bb..c99e86cd3b 100644 --- a/doc/src2html/RTEMS.test +++ b/doc/src2html/RTEMS.test @@ -20,7 +20,7 @@ set Srctree /usr1/rtems/rtems-work/c/src/exec/ #set Htmltree /tmp/www -set Htmlroot /usr1/tmp/rtemsdoc-4.0.0-beta3/html/internal/browseable_rtems +set Htmlroot WWW_INSTALL/internal/browseable_rtems set Htmldir . set Newsrctree . # Comments here too # default is . and that is fine for us right now |