diff --git a/doc/README b/doc/README
index 8a913b6..6d034d0 100644
--- a/doc/README
+++ b/doc/README
@@ -39,3 +39,4 @@ This should normally only be done for the official GNO web server.
 
 To install the reference manuals:
 	make install
+