diff options
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. | ||