doc: Include 'Continuous Integration' in the introduction.

* doc/cuirass.texi (Continuous Integration): Make it a section of
the 'Introduction' chapter.
pull/3/head
Mathieu Lirzin 2016-12-16 13:49:16 +01:00
parent 041b56c480
commit 97b707d32a
No known key found for this signature in database
GPG Key ID: 0ADEE10094604D37
1 changed files with 5 additions and 2 deletions

View File

@ -49,7 +49,6 @@ Documentation License''.
@c ********************************************************************* @c *********************************************************************
@menu @menu
* Introduction:: What is Cuirass about? * Introduction:: What is Cuirass about?
* Continuous Integration:: A practical solution
* Invocation:: How to run Cuirass. * Invocation:: How to run Cuirass.
* Contributing:: Your help needed! * Contributing:: Your help needed!
* GNU Free Documentation License:: The license of this manual. * 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 ensuring the portability and robustness of those changes. It is the
basis of the @dfn{Continuous integration} practice. basis of the @dfn{Continuous integration} practice.
@menu
* Continuous Integration:: A Software development practice
@end menu
@c ********************************************************************* @c *********************************************************************
@node Continuous Integration @node Continuous Integration
@chapter Continuous Integration @unnumberedsec Continuous Integration
@c ********************************************************************* @c *********************************************************************
@node Invocation @node Invocation