You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

12 lines
218 B

all: run
run:
python3 -m http.server
wiki:
# ---
# update the materials from the wiki, save it as Unfolded.html
python3 update.py
@echo "Pulling updates from the wiki: Unfolded (wiki) --> Unfolded.html (file)"