diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 25 |
1 files changed, 22 insertions, 3 deletions
@@ -1,7 +1,26 @@ # > Fonctions de nettoyage -# .PHONY sert à indiquer une commande (sinon un fichier clean poserait problème) +# .PHONY sert à indiquer une commande (sinon un fichier nommé "clean" poserait problème) # Un tiret devant une commande indique d'ignorer une éventuelle erreur. -.PHONY: clean + +.PHONY: clean build js css svg static svg + +build: svg css js static + +svg: + npm run build-svg + +css: + npm run build-css + cp ./node_modules/katex/dist/katex.css s/css/ + cp -r ./node_modules/katex/dist/fonts s/css/ + +js: + npm run build-js + wget "https://cdn.plot.ly/plotly-2.24.3.min.js" -O s/js/plotly.min.js + +static: + npm run build-static + clean: @echo "Clean" - -rm -fr articles/*.html + -rm -fr articles/*.html tag/ s/ index.html rss.xml en/ fr/ |