diff options
Diffstat (limited to 'doc/Make.config')
-rw-r--r-- | doc/Make.config | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Make.config b/doc/Make.config index 10fcba9f72..2c9c941cb5 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -9,9 +9,9 @@ INFO=info XDVI=xdvi -s 4 GHOSTVIEW=ghostview -magstep -1 -WWW_INSTALL=/usr1/tmp/rtemsdoc-4.1.0/html -INFO_INSTALL=/usr1/tmp/rtemsdoc-4.1.0/info -PS_INSTALL=/usr1/tmp/rtemsdoc-4.1.0/ps +WWW_INSTALL=/usr1/tmp/rtemsdoc-4.2.0/html +INFO_INSTALL=/usr1/tmp/rtemsdoc-4.2.0/info +PS_INSTALL=/usr1/tmp/rtemsdoc-4.2.0/ps TEXI2WWW_ARGS=-dirfile ../rtems.html \ -header ../rtems_header.html \ |