(Makefile):  Push texi2html.py options into a make variable.
1 file changed