From b3ec80d3d70945106b5d537e8fd99c4a0753df89 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Tue, 8 Mar 2016 21:23:48 -0500 Subject: oops, fix quotes in Makefile --- doc/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/Makefile b/doc/Makefile index d5a37da..75fc6e6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,8 +7,10 @@ clean: html/%.html: %.txt mkdir html 2> /dev/null || true - ( echo ""; \ - echo ""; \ + ( echo ''; \ + echo ''; \ echo '
'; \ sed -ne '2{s,.*,

&

,;p;q}' $<; \ sed -e '1,3d' $< | ocaml txt.ml; \ -- cgit 1.4.1