From: robertmh <robertmh@localhost>
Date: Tue, 29 Jun 2004 17:45:21 +0000 (+0000)
Subject: Fix minor syntax error (non-escaped characters).
X-Git-Tag: 0.6.96~72
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b929761836d6597099f922cb733e805afb6638b7;p=thirdparty%2Fgrub.git

Fix minor syntax error (non-escaped characters).
---

diff --git a/ChangeLog b/ChangeLog
index 8ebef9167..b4af5cee1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-06-29  Robert Millan  <robertmh@gnu.org>
+
+	* util/grub-set-default.in: Fix minor syntax error (non-escaped
+	characters).
+
 2004-06-24  Robert Millan  <robertmh@gnu.org>
 
 	Fixes for FHS compliance. (/usr/share is for arch-independant data)
diff --git a/util/grub-set-default.in b/util/grub-set-default.in
index 1c7fdc381..dc5b783fd 100644
--- a/util/grub-set-default.in
+++ b/util/grub-set-default.in
@@ -35,7 +35,7 @@ Set the default boot entry for GRUB.
   -v, --version           print the version information and exit
   --root-directory=DIR    Use the directory DIR instead of the root directory
 
-ENTRY is a number or the special keyword \`default'.
+ENTRY is a number or the special keyword \`default\'.
 
 Report bugs to <bug-grub@gnu.org>.
 EOF
@@ -106,7 +106,7 @@ $entry
 #
 #
 # WARNING: If you want to edit this file directly, do not remove any line
-# from this file, including this warning. Using `grub-set-default' is
+# from this file, including this warning. Using \`grub-set-default\' is
 # strongly recommended.
 EOF