From b9c8724ea50e92ee7215fca6edadcb5755b2a578 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Fri, 14 Apr 2017 12:57:17 -0400 Subject: remove html converter --- doc/Makefile | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 doc/Makefile (limited to 'doc/Makefile') 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,.*,&,;p;q}' $<; \ - echo '
'; \ - sed -ne '2{s,.*,

&

,;p;q}' $<; \ - sed -e '1,3d' $< | ocaml txt/txt.ml; \ - echo '
'; \ - ) > $@ - -.PHONY: all clean -- cgit 1.4.1