summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2017-01-06 22:57:30 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2017-01-06 22:57:30 -0500
commit260178dcef927ecdddfba2a0b4097a3955aa7940 (patch)
tree29a8fbb594a5b0f3e01ce82f24d66c87f8495b5c
parentf5917c35bdfa6c297647f4ceb60b01793ad57f0a (diff)
downloadroux-260178dcef927ecdddfba2a0b4097a3955aa7940.tar.gz
prepare for new c9x infrastructure
-rw-r--r--doc/Makefile15
-rw-r--r--doc/txt/txt.css9
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;
-}