diff options
Diffstat (limited to 'doc/Make.config')
-rw-r--r-- | doc/Make.config | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Make.config b/doc/Make.config index 3653aecdf8..507e8c97cd 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -19,7 +19,11 @@ INFO=info XDVI=xdvi -s 4 GHOSTVIEW=ghostview -magstep -1 +ifeq ($(DISTRIBUTION_LEVEL),public) +WWW_INSTALL=$(DOC_INSTALL_BASE)/html +else WWW_INSTALL=$(DOC_INSTALL_BASE)/html/$(DISTRIBUTION_LEVEL) +endif INFO_INSTALL=$(DOC_INSTALL_BASE)/info PS_INSTALL=$(DOC_INSTALL_BASE)/ps @@ -33,6 +37,7 @@ ifeq ($(DISTRIBUTION_LEVEL),internal) RLEVEL=../ endif endif +endif #TEXI2WWW_ARGS=-dirfile $(WWW_INSTALL)/index.html \ # -header $(WWW_INSTALL)/rtems_header.html \ |