summary refs log tree commit diff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin@c9x.me>2017-04-14 12:57:17 -0400
committerQuentin Carbonneaux <quentin@c9x.me>2017-04-14 12:57:17 -0400
commitb9c8724ea50e92ee7215fca6edadcb5755b2a578 (patch)
tree6bd1190fa16a9706a0f6ef1f8aab698e86fe1cdf /doc/Makefile
parent1883ab1e01e8078ce2e6206482ec50e446fdce34 (diff)
downloadroux-b9c8724ea50e92ee7215fca6edadcb5755b2a578.tar.gz
remove html converter
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile17
1 files changed, 0 insertions, 17 deletions
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
index e1b93eb..0000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-DOCS = abi il llvm
-
-all: $(DOCS:%=html/%.html)
-
-clean:
-	rm -fr html
-
-html/%.html: %.txt
-	mkdir html 2> /dev/null || true
-	( sed -ne '2{s,.*,<title>&</title>,;p;q}' $<; \
-	  echo '<div class="container">'; \
-	  sed -ne '2{s,.*,<h2>&</h2>,;p;q}' $<; \
-	  sed -e '1,3d' $< | ocaml txt/txt.ml; \
-	  echo '</div>'; \
-	) > $@
-
-.PHONY: all clean