compiling sage without documentation

[Vincent Delecroix]

Dear all,

I would like to compile sage without the documentation. According to
./configure --help I supposed the following would just work

./configure --with-sage_docbuild=no --with-pplpy_doc=no
--with-sagemath_doc_html=no --with-sagemath_doc_pdf=no

But I got

configure: WARNING: unrecognized options: --with-sage-docbuild,
--with-pplpy-doc, --with-sagemath-doc-html, --with-sagemath-doc-pdf

Best
Vincent

[Dima Pasechnik]

On Thu, Mar 16, 2023 at 10:00 AM Vincent Delecroix

<20100.d...@gmail.com> wrote:
>
> Dear all,
>
> I would like to compile sage without the documentation. According to
> ./configure --help I supposed the following would just work
>
> ./configure --with-sage_docbuild=no --with-pplpy_doc=no
> --with-sagemath_doc_html=no --with-sagemath_doc_pdf=no

this is outdated: have a look at
% ./configure -h | grep doc
--infodir=DIR info documentation [DATAROOTDIR/info]
--mandir=DIR man documentation [DATAROOTDIR/man]
--docdir=DIR documentation root [DATAROOTDIR/doc/sage]
--htmldir=DIR html documentation [DOCDIR]
--dvidir=DIR dvi documentation [DOCDIR]
--pdfdir=DIR pdf documentation [DOCDIR]
--psdir=DIR ps documentation [DOCDIR]
--disable-doc disable build of the Sage documentation and packages
for manipulating documents based on data
documentation reader
--enable-pandoc_attributes={no|if_installed (default)|yes}
enable build and use of the optional package
pandoc_attributes: A parser
and generator for pandoc block attributes
* package info: ./sage -info pandoc_attributes
--disable-pandoc_attributes
same as --enable-pandoc_attributes=no
--enable-sagemath_doc_pdf={no|if_installed (default)|yes}
enable build and use of the optional package
sagemath_doc_pdf: SageMath
documentation in PDF format
* package info: ./sage -info sagemath_doc_pdf
--disable-sagemath_doc_pdf
same as --enable-sagemath_doc_pdf=no
Mathematics Software: IPython kernel, Sage
preparser, doctester
--with-system-pandoc={no|yes (default)|force (exit with an error if
no usable version is found)}
detect and use an existing system pandoc

So it seems that you'd like --disable-doc option.

>
> But I got
>
> configure: WARNING: unrecognized options: --with-sage-docbuild,
> --with-pplpy-doc, --with-sagemath-doc-html, --with-sagemath-doc-pdf
>
> Best
> Vincent
>

> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGEwAAnwvcG%3D4Ntk4%3DMrA2G3rj4xhfCOL24pHC%3DMjJJPJ7_w%3DQ%40mail.gmail.com.

[Vincent Delecroix]

Thanks Dima. Is there a way I can figure out by myself which info is up to date?

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2Ce2O_k9MhfxCA_DTBDoJ%2BPojAUps8L%2BqifEHY7HjJng%40mail.gmail.com.

[Dima Pasechnik]

On Thu, Mar 16, 2023 at 10:48 AM Vincent Delecroix

<20100.d...@gmail.com> wrote:
>
> Thanks Dima. Is there a way I can figure out by myself which info is up to date?

Vincent, no magic here. I ran ./configure -h from Sage 10.0.beta4. And
you probably used output of some older ./configure -h on
a newer ./configure.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGEwAAkKOK3juDU%3D5OM607ehr2-wZX%3DEzdVWfwrWJ5s_rWwNNw%40mail.gmail.com.

[Dima Pasechnik]

On Thu, Mar 16, 2023 at 11:02 AM Dima Pasechnik <dim...@gmail.com> wrote:
>
> On Thu, Mar 16, 2023 at 10:48 AM Vincent Delecroix
> <20100.d...@gmail.com> wrote:
> >
> > Thanks Dima. Is there a way I can figure out by myself which info is up to date?
>
> Vincent, no magic here. I ran ./configure -h from Sage 10.0.beta4. And
> you probably used output of some older ./configure -h on
> a newer ./configure.

% ./configure --version
Sage configure 10.0.beta4
generated by GNU Autoconf 2.71
...

Perhaps the version info should be included whenever we have output of
./configure in docs.

[Lorenz Panny]

I usually just run "make build" instead of "make" to skip building the
documentation (with unmodified ./configure arguments). Does that satisfy
your needs?

Best,
Lorenz

> --
> 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+...@googlegroups.com. To view
> this discussion on the web visit

> https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fsage-devel%2FCAGEwAAnwvcG%253D4Ntk4%253DMrA2G3rj4xhfCOL24pHC%253DMjJJPJ7_w%253DQ%2540mail.gmail.com&data=05%7C01%7C%7C93a7129e354a431096d208db26054393%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C638145576278989492%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=uaOFwZhu7oHLxjh3Uust7296z7UjgHt4d5az%2FDldeXM%3D&reserved=0.

[Matthias Koeppe]

No, you have mistyped several things.

It's --enable-...., not --with-...

and it's "sage_docbuild" (underscore), not "sage-docbuild" (dash).

The output of configure --help is correct.