Hi David,

On Sun, Feb 20, 2011 at 9:06 AM, David Kirkby <[email protected]> wrote:
> I was wondering if it would be possible to have a default PDF file,
> which indicated what were the necessary steps to generate the real PDF
> files.

By default I build the HTML documentation without generating the links
to the PDF version:

./sage -docbuild --no-pdf-links all html

This is exactly what I usually do for the online documentation on the
Sage website. An option is to patch the Makefile under SAGE_ROOT so
you would get

doc-html: build # (already) indirectly depends on $(PIPE)
        $(PIPE) "./sage -docbuild --no-pdf-link all html
$(SAGE_DOCBUILD_OPTS) 2>&1" "tee -a dochtml.log"

-- 
Regards
Minh Van Nguyen

-- 
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to