diff --git a/docs/source/simplesamlphp-authproc.txt b/docs/simplesamlphp-authproc.txt
similarity index 100%
rename from docs/source/simplesamlphp-authproc.txt
rename to docs/simplesamlphp-authproc.txt
diff --git a/docs/source/simplesamlphp-install.txt b/docs/simplesamlphp-install.txt
similarity index 100%
rename from docs/source/simplesamlphp-install.txt
rename to docs/simplesamlphp-install.txt
diff --git a/docs/source/simplesamlphp-theming.txt b/docs/simplesamlphp-theming.txt
similarity index 100%
rename from docs/source/simplesamlphp-theming.txt
rename to docs/simplesamlphp-theming.txt