|
@@ -84,11 +84,12 @@
|
|
If the <filename>/usr/share/info/dir</filename> file ever needs to be
|
|
If the <filename>/usr/share/info/dir</filename> file ever needs to be
|
|
recreated, the following optional commands will accomplish the task:</para>
|
|
recreated, the following optional commands will accomplish the task:</para>
|
|
|
|
|
|
-<screen role="nodump"><userinput>cd /usr/share/info
|
|
|
|
|
|
+<screen role="nodump"><userinput>pushd /usr/share/info
|
|
rm -v dir
|
|
rm -v dir
|
|
for f in *
|
|
for f in *
|
|
-do install-info $f dir 2>/dev/null
|
|
|
|
-done</userinput></screen>
|
|
|
|
|
|
+ do install-info $f dir 2>/dev/null
|
|
|
|
+done
|
|
|
|
+popd</userinput></screen>
|
|
|
|
|
|
</sect2>
|
|
</sect2>
|
|
|
|
|