diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c2399c7 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +all : + find site -name "*.html" -printf "https://thomaslabs.org/%P\n" > site/sitemap + +.PHONY : svg +svg : + latex -output-directory build -interaction nonstopmode src/svg/fft.tex + dvisvgm build/fft.dvi --no-fonts --exact-bbox --output=site/svg/fft.svg + +.PHONY : clean +clean : + rm -rf site/svg/* site/img-small site/math site/programs site/z80 site/index.html site/privacy.html site/arm site/sitemap + +.PHONY : upload +upload : + rsync -Pa --delete "site/" "thomas@gamma:/srv/web/thomaslabs/" |