Create _defns.html