diff --git a/doc/devel/configuration b/doc/devel/configuration
index 36b846ed..dcf9b7b0 100644
--- a/doc/devel/configuration
+++ b/doc/devel/configuration
@@ -20,7 +20,6 @@ along with the MPIR Library; see the file COPYING.LIB.  If not, write to
 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 02110-1301, USA.
 
-
 * Adding a new file
 
 ** Adding a top-level file