diff options
| author | Clyhtsuriva <aimeric@adjutor.xyz> | 2021-01-25 22:11:30 +0100 |
|---|---|---|
| committer | Clyhtsuriva <aimeric@adjutor.xyz> | 2021-01-25 22:11:30 +0100 |
| commit | 816804c9c114e20d2231258cc346c3714590b9ea (patch) | |
| tree | f0c8aec1fb265762654ef5ffe4f51fa880f8513a /generate.sh | |
| parent | 343e88525d1d13a6da5629d7137b2d8a15f9d2d8 (diff) | |
Rapport et main.c
Diffstat (limited to 'generate.sh')
| -rwxr-xr-x | generate.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generate.sh b/generate.sh new file mode 100755 index 0000000..fb70ac4 --- /dev/null +++ b/generate.sh @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +groff -k -ms README.ms -T ps > README.ps && ps2pdf README.ps README.pdf |