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: [email protected] > To: [email protected] > 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 > [email protected] > https://mail.gnome.org/mailman/listinfo/vala-list _______________________________________________ vala-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/vala-list
