Added a debug line to man2html.py