Add Changelog header to docs

edwardchalstrey1 · edwardchalstrey1 · commit a62bc228eef2 · 2026-06-19T14:37:09.000+01:00
diff --git a/ChangeLog b/ChangeLog
@@ -1,5 +1,3 @@
-# Changelog
-
 ## [16.7.0] - unreleased
 
 ### Added
diff --git a/doc/install.rst b/doc/install.rst
@@ -122,5 +122,8 @@ All past releases are available on the
 `GitHub releases page <https://github.com/gambitproject/gambit/releases>`__.
 
 
+Changelog
+---------
+
 .. include:: ../ChangeLog
    :parser: myst_parser.sphinx_
