[goobox] User docs: Make page ID the same as file name



commit be4689c3d48937dec1761b1dc27fe20ef3503e54
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Mar 23 21:42:58 2014 +0100

    User docs: Make page ID the same as file name

 help/C/preferences.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/preferences.page b/help/C/preferences.page
index ccf4fff..0749bb9 100644
--- a/help/C/preferences.page
+++ b/help/C/preferences.page
@@ -1,6 +1,6 @@
 <page xmlns="http://projectmallard.org/1.0/";
       type="topic"
-      id="goobox-preferences">
+      id="preferences">
   <info>
     <link type="guide" xref="index" />
     <title type="sort">0</title>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]