diff --git a/manual/0.8 b/manual/0.8.txt
similarity index 100%
rename from manual/0.8
rename to manual/0.8.txt
diff --git a/manual/0.9 b/manual/0.9.txt
similarity index 100%
rename from manual/0.9
rename to manual/0.9.txt
diff --git a/manual/1.0 b/manual/1.0.txt
similarity index 100%
rename from manual/1.0
rename to manual/1.0.txt
diff --git a/manual/1.1 b/manual/1.1.txt
similarity index 100%
rename from manual/1.1
rename to manual/1.1.txt
diff --git a/manual/1.2 b/manual/1.2.txt
similarity index 100%
rename from manual/1.2
rename to manual/1.2.txt
diff --git a/manual/1.3 b/manual/1.3.txt
similarity index 100%
rename from manual/1.3
rename to manual/1.3.txt
diff --git a/manual/1.4 b/manual/1.4.txt
similarity index 100%
rename from manual/1.4
rename to manual/1.4.txt
diff --git a/manual/1.5 b/manual/1.5.txt
similarity index 100%
rename from manual/1.5
rename to manual/1.5.txt
diff --git a/manual/1.6 b/manual/1.6.txt
similarity index 100%
rename from manual/1.6
rename to manual/1.6.txt
diff --git a/manual/1.7 b/manual/1.7.txt
similarity index 100%
rename from manual/1.7
rename to manual/1.7.txt
diff --git a/manual/1.8 b/manual/1.8.txt
similarity index 100%
rename from manual/1.8
rename to manual/1.8.txt