# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1372184953 -7200
# Node ID 073ac4ff35036652fe791d783256361043771c0f
# Parent  d4679fcf5f2b41b6858932017b976cf1d39fcf21
automatically generated by browser

diff -r d4679fcf5f2b -r 073ac4ff3503 reports/Makefile.init
--- a/reports/Makefile.init	Tue Jun 25 20:28:59 2013 +0200
+++ b/reports/Makefile.init	Tue Jun 25 20:29:13 2013 +0200
@@ -8,7 +8,7 @@
 #
 # MACOSX caveat:
 #   as filenames are not case sensitive (in a default setup),
-#   we cannot use tha above trick. Therefore, this file is now named
+#   we cannot use the above trick. Therefore, this file is now named
 #   "Makefile.init", and you have to execute "make -f Makefile.init" to
 #   get the initial makefile.  This is now also done by the toplevel CONFIG
 #   script.