Try opening the file
SAGE_ROOT/src/doc/output/html/en/index.html
in your web browser (where "SAGE_ROOT" is the top directory in your Sage
installation). Is that something like what you want? Note that if you've
built the pdf documentation (by running "make doc-pdf", for example) then
there should be little PDF symbols you can click on to load each individual
PDF file.
Also, while running Sage, you can do search_doc('string') to search for
a particular string in the documentation.
-- John
On Thursday, May 14, 2015 at 3:22:36 PM UTC-7, Brenton wrote:
>
> I mostly want it because it can get irritating having to navigate between
> several smaller PDFs, plus it means that if I want to search for a keyword
> in the entire documentation I can. How about HTML files of the
> documentation can I get them using some sort of sage command line code? If
> they have a table of contents type of page that hyperlinks to the different
> HTMLs it may be fairly easy to navigate.
>
> On Friday, 15 May 2015 08:15:41 UTC+10, David Joyner wrote:
>>
>> On Thu, May 14, 2015 at 6:02 PM, Brenton <mowan...@bigpond.com> wrote:
>> > That just creates a heap of smaller PDFs: I wanted a single large PDF
>> > containing the content from all these smaller ones with bookmarks.
>> >
>>
>> I don't know why you would want such a file but if you really think it
>> is useful, there are lots of programs that merge pdfs. For example, on
>> a mac, preview does that (and can add bookmarks) but google I'm sure
>> will tell you others.
>>
>> >
>> > On Friday, 15 May 2015 05:28:20 UTC+10, Dima Pasechnik wrote:
>> >>
>> >>
>> >>
>> >> On Thursday, 14 May 2015 20:21:28 UTC+1, Brenton wrote:
>> >>>
>> >>> Sounds good, I have both ready & waiting on my 32-bit Ubuntu 15.04
>> >>> (mentioning in case it's relevant) installation if you could tell me
>> how to
>> >>> do this, please.
>> >>
>> >>
>> >> run
>> >>
>> >> sage --docbuild all pdf
>> >>
>> >>
>> >>>
>> >>> On Friday, 15 May 2015 05:16:34 UTC+10, Dima Pasechnik wrote:
>> >>>>
>> >>>>
>> >>>>
>> >>>> On Thursday, 14 May 2015 19:53:38 UTC+1, Brenton wrote:
>> >>>>>
>> >>>>> Hi,
>> >>>>>
>> >>>>> I do love Sage but it would be excellent if I could have the full
>> Sage
>> >>>>> documentation (including all tutorials, thematic tutorials,
>> reference
>> >>>>> manual, FAQ, developer's guide, installation guide, constructions,
>> etc.) in
>> >>>>> HTML (zipped) and/or PDF format (if it is in a PDF I'd like a
>> single PDF,
>> >>>>> not a set of >10 of them), without having to download smaller
>> component of
>> >>>>> Sage in PDF format and combine them in Adobe Acrobat Professional.
>> I was
>> >>>>> wondering if this may be available somewhere on the web for a
>> recent release
>> >>>>> (i.e., Sage >6.5) for free. I realize any such PDF or zip directory
>> of HTMLs
>> >>>>> will likely be >50 MB & >10,000 pages in size but I would still
>> like it, if
>> >>>>> possible, for offline use. I already have a (partial, containing
>> just the
>> >>>>> reference manual with 13,540 pages to it) solution, which I spent
>> hours
>> >>>>> constructing from these smaller PDFs (which I'd lament doing for
>> each new
>> >>>>> documentation release :( ), it's here in my Google Drive, if you're
>> >>>>> interested (http://goo.gl/E1PZ9p ).
>> >>>>
>> >>>>
>> >>>> most natural would be to build the pdf docs yourself; you'd need a
>> Sage
>> >>>> and TeX installation for this.
>> >>>>
>> >>>>
>> >>>>>
>> >>>>> Thanks for your time,
>> >>>>> Brenton
>> >
>> > --
>> > You received this message because you are subscribed to the Google
>> Groups
>> > "sage-support" group.
>> > To unsubscribe from this group and stop receiving emails from it, send
>> an
>> > email to sage-support...@googlegroups.com.
>> > To post to this group, send email to sage-s...@googlegroups.com.
>> > Visit this group at http://groups.google.com/group/sage-support.
>> > For more options, visit https://groups.google.com/d/optout.
>>
>
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
