diff --git a/doc/release/0.1 b/doc/release/0.1.html
similarity index 100%
rename from doc/release/0.1
rename to doc/release/0.1.html
diff --git a/doc/release/0.2 b/doc/release/0.2.html
similarity index 100%
rename from doc/release/0.2
rename to doc/release/0.2.html
diff --git a/doc/release/0.3 b/doc/release/0.3.html
similarity index 100%
rename from doc/release/0.3
rename to doc/release/0.3.html
diff --git a/doc/release/0.4 b/doc/release/0.4.html
similarity index 100%
rename from doc/release/0.4
rename to doc/release/0.4.html
diff --git a/doc/release/0.5 b/doc/release/0.5.html
similarity index 100%
rename from doc/release/0.5
rename to doc/release/0.5.html
diff --git a/doc/release/0.6 b/doc/release/0.6.html
similarity index 100%
rename from doc/release/0.6
rename to doc/release/0.6.html
diff --git a/doc/release/0.7 b/doc/release/0.7.html
similarity index 100%
rename from doc/release/0.7
rename to doc/release/0.7.html
diff --git a/doc/release/0.8 b/doc/release/0.8.html
similarity index 100%
rename from doc/release/0.8
rename to doc/release/0.8.html
diff --git a/doc/release/0.9 b/doc/release/0.9.html
similarity index 100%
rename from doc/release/0.9
rename to doc/release/0.9.html