From 6b2dfb3d795c296761afafa49079771b3907c87b Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 4 Nov 2014 20:30:02 -0800
Subject: [PATCH] doc: align manual, developer guide filenames with wiki

---
 doc/{DEVGUIDE.md => developer-guide.md} | 0
 doc/{MANUAL.md => manual.md}            | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename doc/{DEVGUIDE.md => developer-guide.md} (100%)
 rename doc/{MANUAL.md => manual.md} (100%)

diff --git a/doc/DEVGUIDE.md b/doc/developer-guide.md
similarity index 100%
rename from doc/DEVGUIDE.md
rename to doc/developer-guide.md
diff --git a/doc/MANUAL.md b/doc/manual.md
similarity index 100%
rename from doc/MANUAL.md
rename to doc/manual.md