X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Flibrary%2Fdidactic%2Fexercises%2FMakefile;fp=matitaB%2Fmatita%2Flibrary%2Fdidactic%2Fexercises%2FMakefile;h=4fbbbaad8721e9331673acd73c125b69e6fe686d;hb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;hp=0000000000000000000000000000000000000000;hpb=f04a064bb34aabaf91dc0c48e3b08b37ecd7b0a2;p=helm.git diff --git a/matitaB/matita/library/didactic/exercises/Makefile b/matitaB/matita/library/didactic/exercises/Makefile new file mode 100644 index 000000000..4fbbbaad8 --- /dev/null +++ b/matitaB/matita/library/didactic/exercises/Makefile @@ -0,0 +1,13 @@ + +all: + for X in *.ma; do $(MAKE) exercise-$$X; done + +clean: + rm exercise-* + +exercise-%.ma: %.ma + cp $< $@ + 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 '') > exercise-$*.html +