diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,2 +1,8 @@ +public-target: guide-target + rm -rf public + mkdir public + cp -r guide public + cp index.html style.css pugl.js move.svg x.svg favicon.ico public/ + guide-target: python3 guide-src/make.py |