Commit 1244984c authored by Thomas Boni's avatar Thomas Boni
Browse files

remove useless Makefile

parent 5566ae6a
Loading
Loading
Loading
Loading

Makefile

deleted100644 → 0
+0 −3
Original line number Diff line number Diff line
jobs:
	for job in Jobs/*; do if [ -d ${job} ]; then mkdir -p docs/${job} && cp ${job}/README.md docs/${job}; fi; done
	for doc in docs/Jobs/*; do if [ -d ${doc} ]; then echo 'collapse: true' > ${doc}/.pages; fi; done