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.
11 lines
218 B
11 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)"
|
|
|
|
|