On 02/20/11 04:05 AM, Minh Nguyen wrote:
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"
That patch would seem sensible to me, as long as building the pdf docs remade
the HTML files with the links in.
The current situation, where "make" (with no arguments) produces broken links is
far from optimal.
--
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?
Dave
--
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
