/pretext-cli

Command line interface for quickly creating, authoring, and building PreTeXt documents.

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Issues