X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2FMakefile;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2FMakefile;h=fd1b47a87502fecf0d335fc29fa9f574a639cf27;hb=24606db07721e6edf9f1f51a07df75f0cdfba200;hp=e2d1a0f0f169caa40152647fdd3c6bb7f8ce521f;hpb=d5b0c5c4409e789df8629943de2344a54b64686b;p=helm.git diff --git a/helm/software/matita/contribs/didactic/Makefile b/helm/software/matita/contribs/didactic/Makefile index e2d1a0f0f..fd1b47a87 100644 --- a/helm/software/matita/contribs/didactic/Makefile +++ b/helm/software/matita/contribs/didactic/Makefile @@ -17,6 +17,6 @@ depend.opt: exercise-%: % cp $< $@ perl -ne 'undef $$/;s/$\*BEGIN.*?END\*$/.../msg;print' -i $@ - perl -ne 'undef $$/;s/$\*DOCBEGIN.*?DOCEND\*$//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