ci: fix make html.

* docs: Link to IET.