diff --git a/doc/src/user/en/Makefile b/doc/src/user/en/Makefile
index 60ccc2b3d..7b3844c14 100644
--- a/doc/src/user/en/Makefile
+++ b/doc/src/user/en/Makefile
@@ -58,7 +58,7 @@ clean:
 	$Q $(RM) -r pdf/
 	$P clean html
 	$Q $(RM) -r html/
-
+	$Q $(RM) index.rst
 
 # Copy CSS file
 #
diff --git a/doc/src/user/es/Makefile b/doc/src/user/es/Makefile
index 60ccc2b3d..7b3844c14 100644
--- a/doc/src/user/es/Makefile
+++ b/doc/src/user/es/Makefile
@@ -58,7 +58,7 @@ clean:
 	$Q $(RM) -r pdf/
 	$P clean html
 	$Q $(RM) -r html/
-
+	$Q $(RM) index.rst
 
 # Copy CSS file
 #
diff --git a/doc/src/user/gl/Makefile b/doc/src/user/gl/Makefile
index 60ccc2b3d..7b3844c14 100644
--- a/doc/src/user/gl/Makefile
+++ b/doc/src/user/gl/Makefile
@@ -58,7 +58,7 @@ clean:
 	$Q $(RM) -r pdf/
 	$P clean html
 	$Q $(RM) -r html/
-
+	$Q $(RM) index.rst
 
 # Copy CSS file
 #