Fixup auto-refresh of documentation following Karthik's move from doc/reference to doc
Fixup auto-refresh of documentation following Karthik's move from doc/reference to doc

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star