5 files changed, 5 insertions, 5 deletions

diff --git a/manual/plugins/brickmania.tex b/manual/plugins/brickmania.tex
index 5be236f7a3..0cce7e4d84 100644
--- a/manual/plugins/brickmania.tex
+++ b/manual/plugins/brickmania.tex
@@ -1,4 +1,4 @@
-% $Id:
+% $Id$
 \subsection{BrickMania}
 \screenshot{plugins/images/ss-brickmania}{BrickMania}%
 {img:brickmania}
diff --git a/manual/plugins/codebuster.tex b/manual/plugins/codebuster.tex
index aa9c660e55..fc1b4c5331 100644
--- a/manual/plugins/codebuster.tex
+++ b/manual/plugins/codebuster.tex
@@ -1,4 +1,4 @@
-% $Id:
+% $Id$
 \subsection{Codebuster}
 \screenshot{plugins/images/ss-codebuster}{Codebuster}{img:codebuster}
 
diff --git a/manual/plugins/disktidy.tex b/manual/plugins/disktidy.tex
index 6892406e64..61fa5ec786 100644
--- a/manual/plugins/disktidy.tex
+++ b/manual/plugins/disktidy.tex
@@ -1,4 +1,4 @@
-% $Id $ %
+% $Id$ %
 \subsection{Disk Tidy}
   Disk Tidy deletes junk files left behind by Windows, Linux or OS X after a USB
   connection. Select the OS's files you want to delete in the 'Files to Clean'
diff --git a/manual/plugins/pngviewer.tex b/manual/plugins/pngviewer.tex
index a024a1db10..92f958e8be 100644
--- a/manual/plugins/pngviewer.tex
+++ b/manual/plugins/pngviewer.tex
@@ -1,4 +1,4 @@
-% $Id: $id$ %
+% $Id$ %
 \subsection{PNG viewer}
 This plugin opens \fname{.png} files from the \setting{File Browser} to
 display them.
diff --git a/manual/plugins/theme_remove.tex b/manual/plugins/theme_remove.tex
index b4d45dfc7a..4bea221403 100644
--- a/manual/plugins/theme_remove.tex
+++ b/manual/plugins/theme_remove.tex
@@ -1,4 +1,4 @@
-% $Id $ %
+% $Id$ %
 \subsection{\label{ref:ThemeRemove}Theme Remove}
 This plugin offers a way to remove a theme. Open the \setting{Context Menu} (see \reference{ref:Contextmenu}) 
 upon a theme\fname{.cfg} file and select \setting{Open With... $\rightarrow$ theme\_remove}.