From 4730245ae33e636d732144ddd8d857690c5b388c Mon Sep 17 00:00:00 2001
From: Fabian Neumann <fabian.neumann@outlook.de>
Date: Wed, 14 Aug 2019 12:05:06 +0200
Subject: [PATCH] numbered sections in rules overview

---
 doc/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/index.rst b/doc/index.rst
index 927f5099..4fa53e71 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -78,6 +78,7 @@ Documentation
    :hidden:
    :maxdepth: 1
    :caption: Rules Overview
+   :numbered:
 
    preparation
    simplification