From 4f0c1e77c18f7d512432fd26822516e8ee082ca9 Mon Sep 17 00:00:00 2001
From: Manfred Kroehnert <Manfred.Kroehnert@kit.edu>
Date: Wed, 5 Aug 2015 13:48:51 +0200
Subject: [PATCH] doc: remove numbers from .dox filenames

---
 etc/doxygen/pages/{5.Components.dox => Components.dox} | 0
 etc/doxygen/pages/{4.FAQ.dox => FAQ.dox}               | 0
 etc/doxygen/pages/{3.HowTos.dox => HowTos.dox}         | 0
 etc/doxygen/pages/{0.Overview.dox => Overview.dox}     | 0
 etc/doxygen/pages/{2.Tutorials.dox => Tutorials.dox}   | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename etc/doxygen/pages/{5.Components.dox => Components.dox} (100%)
 rename etc/doxygen/pages/{4.FAQ.dox => FAQ.dox} (100%)
 rename etc/doxygen/pages/{3.HowTos.dox => HowTos.dox} (100%)
 rename etc/doxygen/pages/{0.Overview.dox => Overview.dox} (100%)
 rename etc/doxygen/pages/{2.Tutorials.dox => Tutorials.dox} (100%)

diff --git a/etc/doxygen/pages/5.Components.dox b/etc/doxygen/pages/Components.dox
similarity index 100%
rename from etc/doxygen/pages/5.Components.dox
rename to etc/doxygen/pages/Components.dox
diff --git a/etc/doxygen/pages/4.FAQ.dox b/etc/doxygen/pages/FAQ.dox
similarity index 100%
rename from etc/doxygen/pages/4.FAQ.dox
rename to etc/doxygen/pages/FAQ.dox
diff --git a/etc/doxygen/pages/3.HowTos.dox b/etc/doxygen/pages/HowTos.dox
similarity index 100%
rename from etc/doxygen/pages/3.HowTos.dox
rename to etc/doxygen/pages/HowTos.dox
diff --git a/etc/doxygen/pages/0.Overview.dox b/etc/doxygen/pages/Overview.dox
similarity index 100%
rename from etc/doxygen/pages/0.Overview.dox
rename to etc/doxygen/pages/Overview.dox
diff --git a/etc/doxygen/pages/2.Tutorials.dox b/etc/doxygen/pages/Tutorials.dox
similarity index 100%
rename from etc/doxygen/pages/2.Tutorials.dox
rename to etc/doxygen/pages/Tutorials.dox
-- 
GitLab