diff options
author | pommicket <pommicket@gmail.com> | 2023-08-30 00:27:16 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2023-08-30 00:27:16 -0400 |
commit | 57db51a7c8837d970b5785e1e6ed5e81dbae6f12 (patch) | |
tree | 44bd5a5bb67fd5fdd990918e3a39337d7244ea5a /Makefile | |
parent | eaff50ee1fb64f236ba715d2099a3a3011280c08 (diff) |
misc nonsense
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 |