doc/make.py accepting html argument again