[goobox] User docs: Make page ID the same as file name
- From: Andre Klapper <aklapper src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [goobox] User docs: Make page ID the same as file name
- Date: Sun, 23 Mar 2014 20:43:06 +0000 (UTC)
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]