[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Gzipped .dvi files?

Christian Schwarz <schwarz@monet.m.isar.de> writes:

> Reinstall the packages. (Sorry, but I don't know a better solution yet. If
> you do, please tell me.)

Off the top of me head, how about making the tool that handles the
generation be something like "debian-update-docs", and allow the admin
to re-run it if they change the config file.

Perhaps the tool could even leverage make, building a makefile that
would force only the right things to get updated.  This would have the
added advantage that if we ever do start preserving upstream
timestamps in pacakges, then installing a package update wouldn't
necessarily mean regenerating all the docs output formats.

Make seems like an ideal tool to incorporate into this process.

> Anyways, I'm still looking for volunteers to work on this area. My time
> for doc-base is limited, so I'll only implement some important features
> myself.  If someone wants to help, please drop me a note. 

I might be willing if I can scrape some time together.

Rob Browning <rlb@cs.utexas.edu>
PGP fingerprint = E8 0E 0D 04 F5 21 A0 94  53 2B 97 F5 D6 4E 39 30

TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to: