web: Don't duplicate the html header.
[osl.git] / osl.h.m4
2020-09-22 Andre Nollweb: Get rid of doxygen.