My previous attempt to harvest the documentation included using wget. Unfortunately I don't recall why it didn't work for me, nor do I remember which flags I used with wget. I am currently trying again with 'wget -rk http://valadoc.org'
jezra On Sat, 14 Dec 2013 21:39:39 +0200 Tal Hadad <tal...@hotmail.com> wrote: > Wget can clone an entire HTTP website(even convert links and images > to off-line addresses). Read: > http://www.linuxjournal.com/content/downloading-entire-web-site-wget > > The alternative is to build all packages with vapi-gen, doesn't > really recommended for you :-) > > Tal > > > Date: Sat, 14 Dec 2013 10:52:05 -0800 > > From: je...@jezra.net > > To: vala-list@gnome.org > > Subject: [Vala] getting the valadoc.org documentation on a local > > server > > > > Hello, > > Quite often, I travel to an area with no internet and do a bit of > > code hacking and I would really like to be able to have the > > valadoc.org documentation available on my development machine. Is > > there an easy way to get the documentation? > > > > Jezra > > > > Web: http://www.jezra.net > > Status: http://status.jezra.net > > Coffee: http://coffee.jezra.net > > _______________________________________________ > > vala-list mailing list > > vala-list@gnome.org > > https://mail.gnome.org/mailman/listinfo/vala-list > > _______________________________________________ > vala-list mailing list > vala-list@gnome.org > https://mail.gnome.org/mailman/listinfo/vala-list _______________________________________________ vala-list mailing list vala-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-list