diff options
| author | Théo Zimmermann | 2018-10-10 19:32:45 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-10 19:34:06 +0200 |
| commit | fa35dd6e40d2f5089b3d0a18cb6337ade4eae760 (patch) | |
| tree | 9c0cb4d41681f04bc9a2c5527928df67002244a9 /doc/sphinx/license.rst | |
| parent | 7489829eff2b36b15694a7f06122fc825905bba6 (diff) | |
[doc] [sphinx] Fix title levels.
Diffstat (limited to 'doc/sphinx/license.rst')
| -rw-r--r-- | doc/sphinx/license.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/sphinx/license.rst b/doc/sphinx/license.rst index 232b04211c..55c6d988f0 100644 --- a/doc/sphinx/license.rst +++ b/doc/sphinx/license.rst @@ -1,3 +1,6 @@ +License +------- + This material (the Coq Reference Manual) may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at |