diff --git a/doc/Makefile b/doc/Makefile
index 6fc15e4..3a30afb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,21 +1,13 @@
-.PHONY: all clean sync
-
DOCS = abi il llvm
-all: $(DOCS:%=html/%.html) html/txt.css
-
-html/txt.css: txt/txt.css
- cp -f $< $@
+all: $(DOCS:%=html/%.html)
clean:
rm -fr html
html/%.html: %.txt
mkdir html 2> /dev/null || true
- ( echo ''; \
- echo ''; \
- echo ''; \
- echo ''; \
+ ( echo ''; \
sed -ne '2{s,.*,&,;p;q}' $<; \
echo ''; \
sed -ne '2{s,.*,
&
,;p;q}' $<; \
@@ -23,5 +15,4 @@ html/%.html: %.txt
echo ''; \
) > $@
-sync:
- scp html/* h:/srv/data/w/compile/doc/
+.PHONY: all clean
diff --git a/doc/txt/txt.css b/doc/txt/txt.css
deleted file mode 100644
index 6f11930..0000000
--- a/doc/txt/txt.css
+++ /dev/null
@@ -1,9 +0,0 @@
-h3 {
- border-bottom: 1px solid #aaa;
- background-color: #eee;
-}
-
-.bnf {
- background-color: white;
- padding-left: 0.7em;
-}