mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 07:42:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2010-09-02T20:55:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@671 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2010-09-02 20:58:06 +00:00
parent ed60599c5c
commit a9346b1fdd
2 changed files with 19 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
documentation/current/guide/offline-use-eiffel-documentation.wiki
View File

@@ -2,7 +2,7 @@
[[Property:link_title|Download Documentation]]
[[Property:weight|0]]
[[Property:uuid|e5f003f6-c732-c648-fd67-91f6642130f0]]
It is possible to download the books of the Eiffel online documentation for viewing offline with a web browser.
It is possible to download the books of the Eiffel online documentation for viewing offline with a web browser.
To do this you use a [http://docs.eiffel.com/static/ web page] which has links to downloadable files which contain the documentation in different forms and quantities.
@@ -10,5 +10,21 @@ To do this you use a [http://docs.eiffel.com/static/ web page] which has links t
[[Image:static documentation page|Downloadable documentation]]
The files are ".7z" files, meaning that they are compressed archives in [http://www.7-zip.org 7-zip] format.
The files are ".7z" files, meaning that they are compressed archives in [http://www.7-zip.org 7-zip] format. So, you can use any 7-zip compatible expander to unpack the files.
You'll notice that the options for downloading come in three groups:
# HTML: Multiple pages per book.
# HTML: One big page per book.
# WikiText+meta: raw files containing wikitext (backup)
You should choose your files from one of the HTML options (the WikiText option is used for backup).
It is possible also to download one documentation "book" at a time, or to download all books in one archive.
The files are static copies of the content of the online documentation, as reflected by the dates shown on the web page.