gnutls 2.12.11 fails to build (guile docs)

[Andreas Metzler]

Hello,

gnutls 2.12.11 triggers a hidden error:

------------------------------------------
Making all in doc
make[3]: Entering directory `/tmp/GNUTLS/gnutls-2.12.11/doc'
/usr/bin/make -C ../guile/src built-sources &&                  \
        GUILE_AUTO_COMPILE=0 /usr/bin/guile -L ../guile/modules -l "./extract-guile-c-doc.scm"  \
           -e '(apply main (cdr (command-line)))'                       \
           -- "../guile/src/core.c" "gcc -E" "-I.. -I.. -I../lib/includes -I../lib/includes -I../libextra/includes -I../guile/src -I../guile/src "              \
           > "core.c.texi"
make[4]: Entering directory `/tmp/GNUTLS/gnutls-2.12.11/guile/src'
GUILE_AUTO_COMPILE=0 /usr/bin/guile -L ../../guile/modules make-enum-map.scm > enum-map.i.c
[...]
make[4]: Leaving directory `/tmp/GNUTLS/gnutls-2.12.11/guile/src'
extracting Texinfo doc from `../guile/src/core.c'...  Backtrace:
In unknown file:
   ?: 0* [parse-documentation-item " loca"]
   ?: 1* (letrec ((read-strings #)) (let* (# #) (if # # #)))
In ../guile/modules/system/documentation/c-snarf.scm:
 103: 2  (let* (# #) (if # # #))
In unknown file:
   ...
   ?: 3  [scm-error misc-error #f "~A ~S" ("invalid documentation item" "loca") #f]

<unnamed port>: In procedure scm-error in expression (scm-error (quote misc-error) #f ...):
<unnamed port>: invalid documentation item "loca"
make[3]: *** [core.c.texi] Error 1
------------------------------------------

The issue was present in earlier version of gnutls (I also see this
with 2.10.5 and 2.12.0) but is triggered only now, since core.c in
the tarball is newer than the included copy of core.c.texi:

(SID)ametzler at argenau:/tmp/GNUTLS/gnutls-2.12.11$ find -name core.c*
-ls
13928651   24 -rw-r--r--   1 ametzler ametzler    24236 Apr  8 13:02
./doc/core.c.texi
13929236   88 -rw-r--r--   1 ametzler ametzler    85050 Sep 18 00:16
./guile/src/core.c

This is with gcc 4.6.1-11 and guile 1.8.8+1-6 on Debian/sid.

cu andreas

-- 
`What a good friend you are to him, Dr. Maturin. His other friends are
so grateful to you.'
`I sew his ears on from time to time, sure'