Reverse dependencies of "make-html-doc"