Add the same CSS stylesheet as for the user guide. Use dollar entities to

prevent keywort substitution.
2010-12-27 12:16:16 +00:00
parent dfebe6206d
commit 49be190daa
3 changed files with 26 additions and 5 deletions
@@ -56,7 +56,7 @@ release.
  <step>
    <para>
    Revert files that need to retain their version number after merge. Due to
-    some wired import of external files, some files always get their $Id$ tag
+    some wired import of external files, some files always get their &dollar;Id&dollar; tag
    updated, even if there has been no change. The following files should be
    reverted to their previous version (given that there has really no change
    happened):