2020-05-26 18:27:02 +02:00
|
|
|
all: index.html notes.html
|
2020-04-10 00:08:51 +02:00
|
|
|
|
2020-04-11 15:16:05 +02:00
|
|
|
index.html: makeslides.py slides.mustache slides.json
|
2020-04-10 00:08:51 +02:00
|
|
|
./makeslides.sh
|
|
|
|
|
|
2020-05-26 18:27:02 +02:00
|
|
|
notes.html: makeslides.py notes.mustache slides.json
|
|
|
|
|
./makeslides.sh
|
|
|
|
|
|
2020-04-11 15:16:05 +02:00
|
|
|
slides.json: csv2json.py slides.csv slides/*.rst
|
2020-04-10 00:08:51 +02:00
|
|
|
./csv2json.sh
|
2020-04-11 14:15:42 +02:00
|
|
|
git add slides
|
2020-04-10 00:08:51 +02:00
|
|
|
|
2020-04-11 17:55:36 +02:00
|
|
|
server: all
|
2020-04-10 00:08:51 +02:00
|
|
|
python3 -m http.server
|
