search

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

Development Environment Improvements #807

Closed oscarlevin closed 2 months ago

oscarlevin commented 2 months ago

This removes an often missed step of running scripts/bundle_resource.py (it is not part of the fetch_core.py script). Readme is also cleaned up to make instructions easier to follow.

oscarlevin commented 2 months ago

FYI @StevenClontz