DOCS=index piazza computing ssh msc schedule info assignments misc hw1 hw2 hw3 hw4 hw5 hw6 hw7 hw8 hw9 hw10 p1 p2 p3 p4 p5 p6

HDOCS=$(addsuffix .php, $(DOCS))

.PHONY : docs
docs : $(HDOCS)

%.php : %.jemdoc MENU
	python jemdoc.py -o $@ $<

.PHONY : clean
clean :
	-rm -f index.php info.php schedule.php misc.php piazza.php computing.php assignments.php ssh.php msc.php hw0.php hw1.php p1.php hw2.php hw3.php p2.php hw4.php hw5.php p3.php hw6.php p4.php hw7.php p5.php