makefile 773 B

123456789101112131415161718192021222324252627
  1. SOURCES=CooperativeMultitasking.md
  2. IMG_SOURCES=led_state.dot led_state_simple.dot rtb_state.dot fridge_state.dot \
  3. rtb_state_2.dot rtb_state_3.dot rtb_state_4.dot rtb_state_5.dot \
  4. window_state.dot radio_tuner.dot beer_vat.dot \
  5. window_complex.dot door.dot door2.dot vending.dot
  6. OBJECTS=$(SOURCES:.md=.html)
  7. IMG_OBJECTS=$(IMG_SOURCES:.dot=.png)
  8. CC=pandoc -s -t html -B header.md -A footer.md
  9. CC=pandoc -s -t html --toc --css pandoc.css --toc-depth=3
  10. # CC=pandoc -s -t html --toc --css pandoc.css --highlight-style tango --toc-depth=3
  11. CC=pandoc -s -t html --toc --css pandoc.css --syntax-definition=c.xml --toc-depth=3
  12. IM=dot -Tpng
  13. %.html : %.md
  14. $(CC) $< -o $@
  15. %.png: %.dot
  16. $(IM) $< -o $@
  17. all: $(OBJECTS) $(IMG_OBJECTS)
  18. echo "done"
  19. clean:
  20. rm $(OBJECTS)