2 files changed, 0 insertions, 21 deletions
diff --git a/doc/keditbookmarks/bookmarks.docbook b/doc/keditbookmarks/bookmarks.docbook
index 0e19b3258..d13d9b170 100644
--- a/doc/keditbookmarks/bookmarks.docbook
+++ b/doc/keditbookmarks/bookmarks.docbook
@@ -75,13 +75,3 @@ the <guilabel>Bookmark Editor</guilabel>.
 
 
 </chapter>
-<!--
-Local Variables:
-mode: sgml
-sgml-omittag: nil
-sgml-shorttag: t
-sgml-minimize-attributes: nil
-sgml-general-insert-case: lower
-sgml-parent-document:("index.docbook" "book" "chapter")
-End:
--->
diff --git a/doc/keditbookmarks/index.docbook b/doc/keditbookmarks/index.docbook
index e530a228a..ca3f7c63a 100644
--- a/doc/keditbookmarks/index.docbook
+++ b/doc/keditbookmarks/index.docbook
@@ -48,14 +48,3 @@
 &documentation.index; 
 
 </book>
-
-<!--
-Local Variables:
-mode: sgml
-sgml-omittag: nil
-sgml-shorttag: t
-sgml-minimize-attributes: nil
-sgml-general-insert-case: lower
-End:
--->
-