ifdef::git-commit-hash[]
<div id="mlton-footer">
<div id="mlton-footer-text">
<div>
Last updated {git-author-date} by {git-author-name}.
<a href="https://github.com/MLton/mlton/commits/master/doc/guide/src/{docname}.adoc">Log</a>
<a href="https://github.com/MLton/mlton/edit/master/doc/guide/src/{docname}.adoc">Edit</a>
</div>
</div>
endif::git-commit-hash[]
