diff --git a/doc/develenv/ChangeLog b/doc/develenv/ChangeLog
index 2f2efad7ee..135fbb277b 100644
--- a/doc/develenv/ChangeLog
+++ b/doc/develenv/ChangeLog
@@ -1,3 +1,8 @@
+2003-08-30	Ralf Corsepius <corsepius@faw.uni-ulm.de>
+
+	* develenv.texi: include common/rtems.texi.
+	* Makefile.am: Reflect changes to $(top_srcdir)/project.am.
+
 2003-04-29	Ralf Corsepius <corsepiu@faw.uni-ulm.de>
 
 	* develenv.texi: Fix @setfilename to develenv.info.
diff --git a/doc/develenv/Makefile.am b/doc/develenv/Makefile.am
index 1a97d72370..bc55043ec5 100644
--- a/doc/develenv/Makefile.am
+++ b/doc/develenv/Makefile.am
@@ -17,8 +17,7 @@ FILES = direct.texi intro.texi sample.texi utils.texi
 
 GENERATED_FILES = direct.texi sample.texi utils.texi
 
-COMMON_FILES = $(top_srcdir)/common/setup.texi \
-    $(top_srcdir)/common/cpright.texi
+COMMON_FILES += $(top_srcdir)/common/cpright.texi
 
 info_TEXINFOS = develenv.texi
 develenv_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES)
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi
index 47fba4168c..2416b5bd6a 100644
--- a/doc/develenv/develenv.texi
+++ b/doc/develenv/develenv.texi
@@ -27,6 +27,7 @@
 
 @include version.texi
 @include common/setup.texi
+@include common/rtems.texi
 
 @ifset use-ascii
 @dircategory RTEMS On-Line Manual