Update info files

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

can you rebuild the info files with hevea from jed.tex? This would only
change the formating but not the content. Then Debian could use these
files and don't have to remove them—currently done because the source of
the info files is missing.

http://git.debian.org/?p=pkg-jed/jed.git;a=commitdiff;h=7067e34ff233dc4deb3d352dc2c063c2504c7309

    Rebuild of info pages

    The source of the old info pages is missing, which forces Debian to
    remove these files from the package. But the same information is included
    in the TeX file doc/manual/jed.tex. Therefore, rebuild the info pages
    with hevea from this source and make Debian maintainers happy.

    % hevea -fix -info -o jed.info ../doc/manual/jed

D       info/jed.1in
D       info/jed.2in
D       info/jed.3in
M       info/jed.info
A       info/jed.info-1
A       info/jed.info-2

Thanks.

Ciao, Jörg.
-- 
Gienger's Law (http://www.bruhaha.de/laws.html):
Die Wichtigkeit eines Newspostings im Usenet ist reziprok zur Anzahl der
enthaltenenen, kumulierten Ausrufungszeichen.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.