[PATCH] Fix sectioning in cgen.texi

[email protected] (Jose E. Marchesi) Tue, 20 Nov 2018 21:14:16 +0100

Newsgroups	gmane.comp.tools.cgen.devel
Message-ID	<[email protected]>

This little patch makes it possible to build cgen.info with makeinfo
6.x.

Salud!

cgen/ChangeLog:

2018-11-20  Jose E. Marchesi  <[email protected]>
 
 	* doc/running.texi (Set up the arguments for cgen): Raised from a
 	subsection to a section.
 
Index: cgen/doc/running.texi
===================================================================
RCS file: /cvs/src/src/cgen/doc/running.texi,v
retrieving revision 1.7
diff -r1.7 running.texi
19c19
< @subsection Set up the arguments for cgen.
---
> @section Set up the arguments for cgen.