Re: [Vala] getting the valadoc.org documentation on a local server



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 :-)

Tal

Date: 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



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