www.mk

   1 all: pygost.html
   2
   3 MAKEINFO ?= makeinfo
   4
   5 pygost.html: www.texi
   6         rm -f pygost.html/*.html
   7         $(MAKEINFO) --html \
   8                 --set-customization-variable NO_CSS=1 \
   9                 --set-customization-variable SHOW_TITLE=0 \
  10                 --set-customization-variable DATE_IN_HEADER=1 \
  11                 --set-customization-variable TOP_NODE_UP_URL=index.html \
  12                 -o pygost.html www.texi