summaryrefslogtreecommitdiffstats
path: root/doc/develenv/develenv.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/develenv/develenv.texi')
-rw-r--r--doc/develenv/develenv.texi3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi
index 473611eccc..76cd365a5e 100644
--- a/doc/develenv/develenv.texi
+++ b/doc/develenv/develenv.texi
@@ -71,7 +71,6 @@
@include intro.texi
@include direct.texi
-@c @include compile.texi
@include sample.texi
@include utils.texi
@@ -81,8 +80,6 @@
This is the online version of the RTEMS Development Environment Guide.
-@c * Compilation and GNU Make Stanzas::
-
@menu
* Introduction::
* Directory Structure::