diff options
| author | Javier Jardón <jjardon@gnome.org> | 2015-02-18 19:09:20 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2015-02-26 12:08:06 +0000 |
| commit | 3c1861c9e2a5a54aa0ab289189ec291e1c22398b (patch) | |
| tree | c71658d9fe499c2a6c49ec9c860743324b349a24 /strata/core | |
| parent | 0d70f2a93c1c8e9c0fe94c13b522126b2898c84e (diff) | |
| download | definitions-3c1861c9e2a5a54aa0ab289189ec291e1c22398b.tar.gz | |
strata/core: Upgrade to latest version of help2man (1.46.5)
Diffstat (limited to 'strata/core')
| -rw-r--r-- | strata/core/help2man.morph | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/strata/core/help2man.morph b/strata/core/help2man.morph deleted file mode 100644 index e25a8d8e..00000000 --- a/strata/core/help2man.morph +++ /dev/null @@ -1,9 +0,0 @@ -name: help2man -kind: chunk -configure-commands: -- autoreconf -i -- ./configure --prefix=/usr -build-commands: -- make -install-commands: -- make DESTDIR="$DESTDIR" install |