diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-30 14:42:11 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-30 14:42:11 +0000 |
commit | ca0b18a1bef4b75b225c00fdcb9a8fd1dd7ec0c4 (patch) | |
tree | 56ca994d6384521decbb2823e722c9bc558fd13e /doc/Make.config | |
parent | Added distribution level to each manual (diff) | |
download | rtems-ca0b18a1bef4b75b225c00fdcb9a8fd1dd7ec0c4.tar.bz2 |
Corrected distribution levels for html
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 \ |