Makefile

   1 html:
   2         makeinfo --html \
   3                 --css-include=style.css \
   4                 --set-customization-variable SHOW_TITLE=0 \
   5                 --set-customization-variable DATE_IN_HEADER=1 \
   6                 -o out.html index.texi