summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-12-16 13:49:16 +0100
committerMathieu Lirzin <mthl@gnu.org>2016-12-16 13:49:16 +0100
commit97b707d32ab0a3c4fd841cd48f78e96da52ccde8 (patch)
tree98f965e597237d634f049239888a104e91116477 /doc
parent041b56c4808c234bfedb10d25cbfa39ebe13e395 (diff)
downloadcuirass-97b707d32ab0a3c4fd841cd48f78e96da52ccde8.tar
cuirass-97b707d32ab0a3c4fd841cd48f78e96da52ccde8.tar.gz
doc: Include 'Continuous Integration' in the introduction.
* doc/cuirass.texi (Continuous Integration): Make it a section of the 'Introduction' chapter.
Diffstat (limited to 'doc')
-rw-r--r--doc/cuirass.texi7
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/cuirass.texi b/doc/cuirass.texi
index 534cc03..eb59dd6 100644
--- a/doc/cuirass.texi
+++ b/doc/cuirass.texi
@@ -49,7 +49,6 @@ Documentation License''.
@c *********************************************************************
@menu
* Introduction:: What is Cuirass about?
-* Continuous Integration:: A practical solution
* Invocation:: How to run Cuirass.
* Contributing:: Your help needed!
* GNU Free Documentation License:: The license of this manual.
@@ -82,9 +81,13 @@ development process, because it allows modifying the source code while
ensuring the portability and robustness of those changes. It is the
basis of the @dfn{Continuous integration} practice.
+@menu
+* Continuous Integration:: A Software development practice
+@end menu
+
@c *********************************************************************
@node Continuous Integration
-@chapter Continuous Integration
+@unnumberedsec Continuous Integration
@c *********************************************************************
@node Invocation