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