summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 3a30afb..e1b93eb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,8 +7,7 @@ clean:
 
 html/%.html: %.txt
 	mkdir html 2> /dev/null || true
-	( echo '<link rel="stylesheet" href="/assets/css/txt.css" type="text/css" />'; \
-	  sed -ne '2{s,.*,<title>&</title>,;p;q}' $<; \
+	( sed -ne '2{s,.*,<title>&</title>,;p;q}' $<; \
 	  echo '<div class="container">'; \
 	  sed -ne '2{s,.*,<h2>&</h2>,;p;q}' $<; \
 	  sed -e '1,3d' $< | ocaml txt/txt.ml; \