diff options
author | Phil Bull <philbull@gmail.com> | 2011-03-20 16:17:46 -0400 |
---|---|---|
committer | Phil Bull <philbull@gmail.com> | 2011-03-20 16:19:36 -0400 |
commit | 912b3118d7ec3cffe49c034775a6b0553bb141f0 (patch) | |
tree | c25be1dae0f31ec3cf4dd3860d0092713ff52163 /gnome-help/C/shell-exit.page | |
parent | 7a40ea89442ec1f655a8d1f25074ca15608d9b72 (diff) | |
download | gnome-user-docs-912b3118d7ec3cffe49c034775a6b0553bb141f0.tar.gz gnome-user-docs-912b3118d7ec3cffe49c034775a6b0553bb141f0.tar.xz gnome-user-docs-912b3118d7ec3cffe49c034775a6b0553bb141f0.zip |
Some restructuring of the shell- pages, change statuses of some guides
Diffstat (limited to 'gnome-help/C/shell-exit.page')
-rw-r--r-- | gnome-help/C/shell-exit.page | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnome-help/C/shell-exit.page b/gnome-help/C/shell-exit.page index 27729ed..754f3f5 100644 --- a/gnome-help/C/shell-exit.page +++ b/gnome-help/C/shell-exit.page @@ -5,7 +5,7 @@ <info> <link type="guide" xref="index" group="shellintro" /> - <link type="guide" xref="shell-overview" /> + <link type="guide" xref="shell-overview#desktop" /> <desc>Learn how to leave your user account, by logging out, switching user and so on.</desc> <!-- Should this be a guide which links to other topics? --> |