diff options
author | Adam NAILI | 2017-12-28 16:23:17 +0100 |
---|---|---|
committer | Adam NAILI | 2017-12-28 16:23:17 +0100 |
commit | 9e4eb30f33867bcb37d5accfb5588cfb3b450f90 (patch) | |
tree | 57cc389a1c302d8278246fb8334ada216be82a01 /doc | |
parent | aaf57e5ee1e0cf74afdbdf56293f1afd7e79e6b0 (diff) | |
parent | 426ddbdd27d21383a3870980f9b787a8c58237aa (diff) | |
download | morpher-9e4eb30f33867bcb37d5accfb5588cfb3b450f90.tar.gz |
Merge remote-tracking branch 'origin/master' into gui
Diffstat (limited to 'doc')
-rw-r--r-- | doc/topics/build.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/topics/build.txt b/doc/topics/build.txt index c461434..979d172 100644 --- a/doc/topics/build.txt +++ b/doc/topics/build.txt | |||
@@ -29,3 +29,10 @@ About: Project report | |||
29 | > make report | 29 | > make report |
30 | 30 | ||
31 | Generates the project report using Pandoc. | 31 | Generates the project report using Pandoc. |
32 | |||
33 | |||
34 | About: Project archive | ||
35 | |||
36 | > make archive | ||
37 | |||
38 | Generates a compressed tarball containing the project sources and the compiled report as PDF. | ||