aretext.github.io
Website for the aretext editor.
Setup
- Install Python and pip.
- (Optional) Create and activate a virtualenv:
virtualenv venv && source venv/bin/activate
- Install dependencies:
pip install -r requirements.txt
Building the site
git submodule update --init
to check out the aretext repo (so we can pull in the documentation).make build
To serve the site locally, run make server
.
Updating the aretext documentation
cd ./aretext
git fetch
git checkout $COMMIT_SHA
cd ..
git add aretext
git commit -m "Updated aretext"