diff --git a/doc/src/sgml/ref/alter_procedure.sgml b/doc/src/sgml/ref/alter_procedure.sgmlin
similarity index 100%
rename from doc/src/sgml/ref/alter_procedure.sgml
rename to doc/src/sgml/ref/alter_procedure.sgmlin