Lines 35-41
Link Here
|
35 |
-v, --version print the version information and exit |
35 |
-v, --version print the version information and exit |
36 |
--root-directory=DIR Use the directory DIR instead of the root directory |
36 |
--root-directory=DIR Use the directory DIR instead of the root directory |
37 |
|
37 |
|
38 |
ENTRY is a number or the special keyword \`default\'. |
38 |
ENTRY is a number or the special keyword \`default\`. |
39 |
|
39 |
|
40 |
Report bugs to <bug-grub@gnu.org>. |
40 |
Report bugs to <bug-grub@gnu.org>. |
41 |
EOF |
41 |
EOF |
Lines 106-112
Link Here
|
106 |
# |
106 |
# |
107 |
# |
107 |
# |
108 |
# WARNING: If you want to edit this file directly, do not remove any line |
108 |
# WARNING: If you want to edit this file directly, do not remove any line |
109 |
# from this file, including this warning. Using \`grub-set-default\' is |
109 |
# from this file, including this warning. Using \`grub-set-default\` is |
110 |
# strongly recommended. |
110 |
# strongly recommended. |
111 |
EOF |
111 |
EOF |
112 |
|
112 |
|