From 342f51f2886fbb01457db47b313b5120dd002531 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 20 Oct 2008 19:45:38 +0000 Subject: [PATCH] ... is a command in proof mode, use \ldots instead --- helm/software/matita/contribs/didactic/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/contribs/didactic/Makefile b/helm/software/matita/contribs/didactic/Makefile index fd1b47a87..212f1055b 100644 --- a/helm/software/matita/contribs/didactic/Makefile +++ b/helm/software/matita/contribs/didactic/Makefile @@ -16,7 +16,7 @@ depend.opt: $(BIN)matitadep.opt -dot && rm depends.dot exercise-%: % cp $< $@ - perl -ne 'undef $$/;s/$\*BEGIN.*?END\*$/.../msg;print' -i $@ + perl -ne 'undef $$/;s/$\*BEGIN.*?END\*$/â¦/msg;print' -i $@ #perl -ne 'undef $$/;s/$\*DOCBEGIN.*?DOCEND\*$//msg;print' -i $@ (echo ''; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '') > $@.html -- 2.39.2