search

PreTeXtBook / pretext-cli

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

fix generate bug #794

Closed oscarlevin closed 4 months ago

oscarlevin commented 4 months ago

Closes #790