after patching and doing ./sage -docbuild reference texinfo I get many
*.texi files, and in each directory a makefile. After installing makeinfo
(sudo apt-get install info), and doing make, I get very nice looking info
files, and at least the top one seems to work very well.
Even in the unlikely case that sage-shell-mode should be unable to use
these, they are very very nice.
Am Donnerstag, 20. Oktober 2016 13:09:36 UTC+2 schrieb Martin R:
>
> as a first step to answering (2), I just applied the patch below, and it
> seems to build the reference in texinfo format.
>
> diff --git a/src/sage_setup/docbuild/__init__.py
> b/src/sage_setup/docbuild/__init__.py
> index 0bd52a6..9ddf7d4 100644
> --- a/src/sage_setup/docbuild/__init__.py
> +++ b/src/sage_setup/docbuild/__init__.py
> @@ -238,6 +238,7 @@ class DocBuilder(object):
> linkcheck = builder_helper('linkcheck')
> # import the customized builder for object.inv files
> inventory = builder_helper('inventory')
> + texinfo = builder_helper('texinfo')
>
> ##########################################
> # Parallel Building Ref Manual #
>
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
