PreTeXtBook / pretext-cli

Command line interface for quickly creating, authoring, and building PreTeXt documents.
https://pretextbook.org
GNU General Public License v3.0
17 stars 17 forks source link

Add sage doctesting #270

Open oscarlevin opened 2 years ago

oscarlevin commented 2 years ago

As in Tom J's makefile in AATA. This uses xsltproc currently, and sage.

StevenClontz commented 2 years ago

Here's the core XSL relevant to this: https://github.com/PreTeXtBook/pretext/blob/master/xsl/pretext-sage-doctest.xsl

Here's AATA's makefile: https://github.com/twjudson/aata/blob/master/script/Makefile

Here's the (stale) documentation: https://pretextbook.org/doc/guide/html/processing-doctest-sage.html

StevenClontz commented 2 years ago

I think I'm less interested in this specific request as I am providing folks more convenient hooks into resources like pretext-sage-doctest.xsl. I don't think there's a lot of bang for our buck here, at least until we hear this request from a second author.