summaryrefslogtreecommitdiff
path: root/docs/usermanual/embeddedkonsole.sgm
Side-by-side diff
Diffstat (limited to 'docs/usermanual/embeddedkonsole.sgm') (more/less context) (ignore whitespace changes)
-rw-r--r--docs/usermanual/embeddedkonsole.sgm6
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/usermanual/embeddedkonsole.sgm b/docs/usermanual/embeddedkonsole.sgm
index 4ba0287..838e705 100644
--- a/docs/usermanual/embeddedkonsole.sgm
+++ b/docs/usermanual/embeddedkonsole.sgm
@@ -61,2 +61,4 @@ program in order to save space). Shells can actually be very powerful, and many
+
+
of them allow you to write something called "shell scripts" which are just a
@@ -148,3 +150,3 @@ to delete a directory that is not empty, along with all its contents, run
-<section><title>Linking Files</title>
+<section id=symlink><title>Linking Files</title>
<para>
@@ -162,2 +164,2 @@ This is also useful for naming applications independant of their version number.
</section>
-</chapter> \ No newline at end of file
+</chapter>