If it allows me to take the documentation with me, the lack of search isn't that big of an issue. Although I have downloaded a few devhelp packages, I have not been able to find out how to access the data in the the package with the devhelp application. Can you point me to a tutorial or some sort of instruction that covers installing new devhelp packages? On Mon, 16 Dec 2013 12:45:33 -0800 Evan Nemerson <evan coeus-group com> wrote:
Crawling valadoc.org isn't a very nice thing to do, and it yields a sub-optimal results (for example, no searching). If you want to access valadoc.org content offline the right way to do it is to download the devhelp books like Florian pointed out, then use the devhelp application to browse them. This keeps the load on valadoc.org low and gives you something that is much more usable. -Evan On Mon, 2013-12-16 at 21:06 +0200, Tal Hadad wrote:You need the -p switch. From wget --help: -p, --page-requisites get all images, etc. needed to display HTML page. TalDate: Mon, 16 Dec 2013 04:40:58 +0100 From: flo brosch gmail com To: jezra jezra net CC: vala-list gnome org Subject: Re: [Vala] getting the valadoc.org documentation on a local server Hey Jezra, Please do not use wget. You wouldn't like the result. On Mon, Dec 16, 2013 at 3:46 AM, jezra <jezra jezra net> wrote:I have searched on valadoc.org and https://wiki.gnome.org/Projects/Vala but can not find 'devhelp-package'. Can you please provide the URL for the main page?http://api.valadoc.org/download.png valadoc.org might look different in your browser. With best regards Flo On Mon, Dec 16, 2013 at 3:50 AM, jezra <jezra jezra net> wrote: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_hd 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 :-) TalDate: Sat, 14 Dec 2013 10:52:05 -0800 From: jezra 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_______________________________________________ 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
Attachment:
signature.asc
Description: PGP signature
