[gnutls-dev] Preparing for the next stable release

[Simon Josefsson]

ludo at gnu.org (Ludovic Courtès) writes:

> Hi,
>
> Simon Josefsson <simon at josefsson.org> writes:
>
>> I'd say a good compromise here seems to be to change the titles but not
>> the node names.
>
> Ok, see attached patch.

Thanks, applied!

> For some reason, I'm now (again) unable to produce the PDF.  The
> relevant error message is:
>
>   ! Emergency stop.
>   <*> ...ut /home/ludo/src/gnutls/doc/internals.texi
>
>   *** (job aborted, no legal \end found)
>
>   !  ==> Fatal error occurred, no output PDF file produced!
>
> Any idea?

I haven't seen that before.  Possibly some file got corrupted?  Can you
reproduce it from a fresh checkout?  (try gitco to simulate a clean
checkout: <http://blog.josefsson.org/2007/03/14/gitco/>).

/Simon