From 1d28f333031069de1c976835ff6ee94063d831fc Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 24 Sep 2017 22:04:56 -0500
Subject: [PATCH] Improve doc heading for download_from_web_if_not_present

---
 pytools/__init__.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pytools/__init__.py b/pytools/__init__.py
index 87e7c1c..d5eba5e 100644
--- a/pytools/__init__.py
+++ b/pytools/__init__.py
@@ -125,8 +125,8 @@ Name generation
 .. autofunction:: generate_numbered_unique_names
 .. autofunction:: UniqueNameGenerator
 
-Auxiliary files
----------------
+Functions for dealing with (large) auxiliary files
+--------------------------------------------------
 
 .. autofunction:: download_from_web_if_not_present
 """
-- 
GitLab