summary refs log tree commit diff
path: root/doc/Makefile
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 /doc/Makefile
parentf5917c35bdfa6c297647f4ceb60b01793ad57f0a (diff)
downloadroux-260178dcef927ecdddfba2a0b4097a3955aa7940.tar.gz
prepare for new c9x infrastructure
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile15
1 files changed, 3 insertions, 12 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