diff --git a/documentation/Kconfig.tex b/documentation/Kconfig.tex
index 6b38dc15dd..5612d92db1 100644
--- a/documentation/Kconfig.tex
+++ b/documentation/Kconfig.tex
@@ -460,7 +460,7 @@ obj-$(CONFIG_HAVE_ACPI_TABLES) +=  amdk8_acpi.o
 \subsection{superio}
 \subsection{drivers/i2c}
 This is a rather special case. There are no Kconfig files or Makefile.inc files here. They are notneeed. 
-To compile in one of these files, name the .o directory. E.g. in serengeti_cheetah we have: 
+To compile in one of these files, name the .o directory. E.g. in serengeti\_cheetah we have: 
 \begin{verbatim}
 \end{verbatim}
 
diff --git a/documentation/Makefile b/documentation/Makefile
index 264bc922a2..71967a464b 100644
--- a/documentation/Makefile
+++ b/documentation/Makefile
@@ -44,29 +44,29 @@ Kconfig.pdf: Kconfig.tex mainboardkconfig.tex cpukconfig.tex socketfkconfig.tex
 
 # quick, somebody! make me a macro!
 mainboardkconfig.tex: ../src/mainboard/Kconfig
-	echo '\begin{verbatim}' > $@
+	cat beginverbatim.tex  > $@
 	grep '^config' $< | awk '{print $2}'  >>$@
-	echo '\end{verbatim}' >> $@
+	cat endverbatim.tex  >> $@
 
 skconfig.tex: ../src/mainboard/amd/serengeti_cheetah/Kconfig
-	echo '\begin{verbatim}' > $@
+	cat beginverbatim.tex  > $@
 	grep '^config' $< | awk '{print $2}'  >>$@
-	echo '\end{verbatim}' >> $@
+	cat endverbatim.tex  >> $@
 
 cpukconfig.tex: ../src/cpu/Kconfig
-	echo '\begin{verbatim}' > $@
+	cat beginverbatim.tex  > $@
 	grep '^config' $< | awk '{print $2}'  >>$@
-	echo '\end{verbatim}' >> $@
+	cat endverbatim.tex  >> $@
 
 socketfkconfig.tex: ../src/cpu/amd/socket_F/Kconfig
-	echo '\begin{verbatim}' > $@
+	cat beginverbatim.tex  > $@
 	grep '^config' $< | awk '{print $2}'  >>$@
-	echo '\end{verbatim}' >> $@
+	cat endverbatim.tex  >> $@
 
 
 clean:
-	rm -f *.aux *.idx *.log *.toc *.out $(FIGS) mainboardkconfig.tex
+	rm -f *.aux *.idx *.log *.toc *.out $(FIGS) mainboardkconfig.tex skconfig.tex cpukconfig.tex socketkconfig.tex
 
 distclean: clean
-	rm -f LinuxBIOS-AMD64.pdf mainboardkconfig.tex
+	rm -f LinuxBIOS-AMD64.pdf 
 	
diff --git a/documentation/beginverbatim.tex b/documentation/beginverbatim.tex
new file mode 100644
index 0000000000..453714c574
--- /dev/null
+++ b/documentation/beginverbatim.tex
@@ -0,0 +1 @@
+\begin{verbatim}
diff --git a/documentation/endverbatim.tex b/documentation/endverbatim.tex
new file mode 100644
index 0000000000..f832f3f23e
--- /dev/null
+++ b/documentation/endverbatim.tex
@@ -0,0 +1 @@
+\end{verbatim}