diff --git a/README.texi b/README.texi index c510993ef1..76e72c581d 100644 --- a/README.texi +++ b/README.texi @@ -690,6 +690,8 @@ In addition to a directory, decide on a classification for the project (one of community, legal, other and technical). Put that information in a @file{project.en.xml} file in the root directory of the project. + + @verbatim