diff options
| -rw-r--r-- | doc/cuirass.texi | 7 |
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 |