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
12 lines
218 B
2 years ago
|
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)"
|
||
|
|
|