[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making texi2html optional?
From: |
Reinhold Kainhofer |
Subject: |
Re: Making texi2html optional? |
Date: |
Sat, 30 Aug 2008 00:14:19 +0200 |
User-agent: |
KMail/1.9.9 |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Am Freitag, 29. August 2008 schrieb John Mandereau:
> On 2008/08/29 10:49 -0300, Han-Wen Nienhuys wrote:
> > 500k ???
>
> It's worse than 500k, and maybe other files are necessary:
> 189K texi2html.init
> 493K texi2html.pl
> 88K translations.pl
What's relevant is only the "texinfo" script, which has a bit over 800 kB.
> > I can put texi2html in GUB (GUB easily builds from
> > CVS and Git repos), to make the default docs use the latest and
> > greatest.
>
> Very cool! I'm going to do required changes in makefiles in
> dev/texi2html; as soon as I've checked that "make web" works well with
> either "makeinfo --html" or texi2html, I'll merge dev/texi2html into
> master. Reinhold, are you OK with this?
Basically yes. I've just fixed that last problem with section targets
in -big-file.html, so all the major issues with texi2html should be fixed now
(see http://wiki.kainhofer.com/lilypond/texi2html_issues)
However, before merging dev/texi2html into master, I would really recommend to
do a diff between master and dev/texi2html (which will of course only contain
the changes you and I have done in dev/texi2html) and look closely at
everything that was changed.
Cheers,
Reinhold
Cheers,
Reinhold
- --
- ------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
* Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
* K Desktop Environment, http://www.kde.org, KOrganizer maintainer
* Chorvereinigung "Jung-Wien", http://www.jung-wien.at/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIuHS7TqjEwhXvPN0RAn1oAJ4h7QE3gZ5S3rFsLJVjP1vpB6JuvgCdHifB
SawaJAE/HC3kkdVv4GT0hHY=
=VBB6
-----END PGP SIGNATURE-----