diff options
| -rw-r--r-- | doc/Make.config | 2 | ||||
| -rw-r--r-- | doc/VERSION | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/Make.config b/doc/Make.config index 91cc02c379..065983aeec 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -4,7 +4,7 @@ # $Id$ # -RTEMS_VERSION=19990820 +RTEMS_VERSION=19991011 #DOC_INSTALL_BASE=/usr1/rtems/tmp/rtemsdoc-$(RTEMS_VERSION) DOC_INSTALL_BASE=/home/httpd/html/rtems/rtemsdoc-$(RTEMS_VERSION) diff --git a/doc/VERSION b/doc/VERSION index d8aea36fd5..d237f10043 100644 --- a/doc/VERSION +++ b/doc/VERSION @@ -2,4 +2,4 @@ # $Id$ # -RTEMS Version 19990820 +RTEMS Version 19991011 |