Fix documentation build

[carletes]

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
$

[jeremybennett]

carletes,

Thanks for finding this. However it's an upstream bug, so would you consider submitting it to the official CGEN and we can pull it down from there.

Jeremy

[carletes]

Sure! Where should I submit this, Jeremy? The cgen@sourceware.org mailing list, perhaps?

[jeremybennett]

Hi carletes,

That's the one. If you let us know the outcome here, I'll make sure it gets pulled in.

(I get the CGEN mailing list, but don't always have time to read it).