diff options
-rw-r--r-- | src/common/doc/main_page.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/main_page.h b/src/common/doc/main_page.h index 83908905..7fa6e289 100644 --- a/src/common/doc/main_page.h +++ b/src/common/doc/main_page.h @@ -51,7 +51,7 @@ To build the library, run the following in a terminal: cd /path-to-gudhi/ mkdir build cd build/ -cmake -DCMAKE_BUILD_TYPE=Release .. +cmake .. make \endverbatim |