diff --git a/documentation/examples.h b/documentation/examples.dox
similarity index 100%
rename from documentation/examples.h
rename to documentation/examples.dox
diff --git a/documentation/mainpage.h b/documentation/mainpage.dox
similarity index 100%
rename from documentation/mainpage.h
rename to documentation/mainpage.dox
diff --git a/documentation/providers.h b/documentation/providers.dox
similarity index 100%
rename from documentation/providers.h
rename to documentation/providers.dox
diff --git a/documentation/pvtools.h b/documentation/pvtools.dox
similarity index 100%
rename from documentation/pvtools.h
rename to documentation/pvtools.dox
diff --git a/documentation/release_notes.h b/documentation/release_notes.dox
similarity index 100%
rename from documentation/release_notes.h
rename to documentation/release_notes.dox