Re: doc-get idea
On Sat, Jan 24, 2004 at 12:35:16PM +0200, Lars Wirzenius wrote:
> * doc-get http://developer.gnome.org/doc/API/2.0/gtk/index.html
>
> Get the whole document, using heuristics to do the mirroring.
> This requires no special work from the document producer or the
> downloader, when the heuristics work.
It also should have something like 'doc-get update' to update the document
if it has changed. Then it would be nice to have some symbolic name for the
document so it can be updated without having the url. (But where would that
name come from? developer-gnome-doc-api-2.0-gtk isn't very good name.)
- Nikke
--
Niklas Vainio <niklas.vainio@iki.fi>
Reply to: