Re: Update info files

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

and what about this request? Would you accept it?

Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
> 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

Schöne Grüße, Jörg.
-- 
Die meisten Menschen wollen lieber durch Lob ruiniert
als durch Kritik gerettet werden.

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






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