ITP-Course/exercises/Makefile

6 lines
127 B
Makefile
Raw Permalink Normal View History

all:
clean:
rm -f *Theory.sig *Theory.sml *.ui *.uo \#* *.toc *.aux *.ps *.log *.lof *.bbl *.blg *.hix *.tid *.tde *.out *~