Rename documentation -> Documentation

In order to be closer to the Linux kernel source tree
structure, rename documentation to Documentation.

Change-Id: I8690f666638ef352d201bd3c3dc1923b0d24cb12
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: http://review.coreboot.org/10110
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>

1 files changed, 0 insertions, 1 deletions

diff --git a/documentation/beginverbatim.tex b/documentation/beginverbatim.tex
deleted file mode 100644
index 453714c574..0000000000
--- a/documentation/beginverbatim.tex
+++ /dev/null
@@ -1 +0,0 @@
-\begin{verbatim}