summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorAdam NAILI2017-12-28 16:23:17 +0100
committerAdam NAILI2017-12-28 16:23:17 +0100
commit9e4eb30f33867bcb37d5accfb5588cfb3b450f90 (patch)
tree57cc389a1c302d8278246fb8334ada216be82a01 /doc
parentaaf57e5ee1e0cf74afdbdf56293f1afd7e79e6b0 (diff)
parent426ddbdd27d21383a3870980f9b787a8c58237aa (diff)
downloadmorpher-9e4eb30f33867bcb37d5accfb5588cfb3b450f90.tar.gz
Merge remote-tracking branch 'origin/master' into gui
Diffstat (limited to 'doc')
-rw-r--r--doc/topics/build.txt7
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
31Generates the project report using Pandoc. 31Generates the project report using Pandoc.
32
33
34About: Project archive
35
36> make archive
37
38Generates a compressed tarball containing the project sources and the compiled report as PDF.