diff --git a/documentation/Installation.txt b/documentation/Installation.txt index f50f70bf0b4948501b3d063b7fe58746bc6256cd..6a30cd3bbd9ca832c3205592aeedabf12f64d740 100644 --- a/documentation/Installation.txt +++ b/documentation/Installation.txt @@ -179,7 +179,7 @@ Building the Manual From 2.0.99 on, the manual is in reStructureText format. This format is (more or less) readable plain text, so this section is optional. -Building the manual means generating a set of html pages add maybe a +Building the manual means generating a set of html pages and maybe a single pdf from the sources. The html pages are generated by issuing::