]> matita.cs.unibo.it Git - helm.git/commitdiff
... is a command in proof mode, use
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 19:45:38 +0000 (19:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 19:45:38 +0000 (19:45 +0000)
\ldots instead

helm/software/matita/contribs/didactic/Makefile

index fd1b47a87502fecf0d335fc29fa9f574a639cf27..212f1055bd0bc8fadf9bf1ca1d6aaa090fd6c6a5 100644 (file)
@@ -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 '<?xml version="1.0" encoding="UTF-8"?><html><head></meta http-equiv="Content-Type" content="text/html; charset=utf-8"><style type="text/css">pre, code { font-family: Sans; font-size: 1em; background-color:#efee79; } pre { margin-right: 5em;}</style></head><body>'; awk 'BEGIN { p = 0; } /DOCEND/ { p = 0; } { if (p == 1) print $$0; } /DOCBEGIN/ { p = 1;}' < $< | markdown; echo '</body></html>') > $@.html