Makefile

   1 all: html parkour.info
   2
   3 lastchange.txt:
   4         echo "(Last change: $$(git log -1 --format=%cd --date=format:'%e %B %Y' parkour.texi))" > lastchange.txt
   5
   6 parkour.info: lastchange.txt
   7
   8 html: parkour.texi lastchange.txt
   9         makeinfo --html \
  10         --css-include=style.css \
  11         --set-customization-variable 'WORDS_IN_PAGE 1' \
  12         $<
  13
  14 .PHONY: html lastchange.txt