diff --git a/en/Makefile b/en/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..43dbcc4020c46579d14fbdd7ceb56327d689b004 --- /dev/null +++ b/en/Makefile @@ -0,0 +1,9 @@ +RST_FILES=$(wildcard *.rst) +HTML_FILES := $(patsubst %.rst, %.html, $(RST_FILES)) + +all: $(HTML_FILES) + +clean: + rm -f *.html +%.html: %.rst + sed 's/>`__/.html>`__/g' $< | pandoc -s -f rst - -o $@ \ No newline at end of file