diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 3 |
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; \ |