From 450a2744089fcebd00b97f24c78957bb016dceeb Mon Sep 17 00:00:00 2001
From: Carlos Valiente <carlos@pepelabs.net>
Date: Tue, 28 Oct 2014 18:40:08 +0000
Subject: [PATCH] Fix documentation build

My version of `makeinfo` (5.2) fails to build the documentation when the `@subsection` tag removed in this patch is present:

```
$ make info
restore=: && backupdir=".am$$" && \
        rm -rf $backupdir && mkdir $backupdir && \
        if (makeinfo --split-size=5000000 --version) >/dev/null 2>&1; then \
          for f in cgen.info cgen.info-[0-9] cgen.info-[0-9][0-9] cgen.i[0-9] cgen.i[0-9][0-9]; do \
            if test -f $f; then mv $f $backupdir; restore=mv; else :; fi; \
          done; \
        else :; fi && \
        if makeinfo --split-size=5000000   -I ../.././cgen/doc \
         -o cgen.info `test -f 'cgen.texi' || echo '../.././cgen/doc/'`cgen.texi; \
        then \
          rc=0; \
        else \
          rc=$?; \
          $restore $backupdir/* `echo "./cgen.info" | sed 's|[^/]*$||'`; \
        fi; \
        rm -rf $backupdir; exit $rc
./running.texi:19: raising the section level of @subsection which is too low
make: *** [cgen.info] Error 1
$
```
---
 cgen/doc/running.texi | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cgen/doc/running.texi b/cgen/doc/running.texi
index a435405f..0b76f491 100644
--- a/cgen/doc/running.texi
+++ b/cgen/doc/running.texi
@@ -16,8 +16,6 @@ The main tasks of this script are to:
 @item Apply any post processing to the output files.
 @end enumerate
 
-@subsection Set up the arguments for cgen.
-
 CGEN takes several standard arguments.
 Each application can then add its own arguments.
 By convention generic CGEN options are lowercase letters