diff options
| -rw-r--r-- | doc/Makefile | 15 | ||||
| -rw-r--r-- | doc/txt/txt.css | 9 |
2 files changed, 3 insertions, 21 deletions
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 '<!doctype html>'; \ - echo '<meta name=viewport content="width=device-width, initial-scale=1">'; \ - echo '<link rel="stylesheet" href="/css/simple.css" type="text/css" />'; \ - echo '<link rel="stylesheet" href="txt.css" type="text/css" />'; \ + ( echo '<link rel="stylesheet" href="/assets/css/txt.css" type="text/css" />'; \ sed -ne '2{s,.*,<title>&</title>,;p;q}' $<; \ echo '<div class="container">'; \ sed -ne '2{s,.*,<h2>&</h2>,;p;q}' $<; \ @@ -23,5 +15,4 @@ html/%.html: %.txt echo '</div>'; \ ) > $@ -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; -} |