Wire <time.h> into the documentation build. Alas, LaTeX didn't like the existing UTF-8 emdash characters in time.h, so I replaced them by normal ASCII dashes.
Changed paths: