diff options
Diffstat (limited to 'personal')
| -rwxr-xr-x | personal/gnu-c-manual/build | 4 | ||||
| -rw-r--r-- | personal/gnu-c-manual/checksums | 1 | ||||
| -rw-r--r-- | personal/gnu-c-manual/depends | 1 | ||||
| -rwxr-xr-x | personal/gnu-c-manual/post-install | 3 | ||||
| -rw-r--r-- | personal/gnu-c-manual/sources | 1 | ||||
| -rw-r--r-- | personal/gnu-c-manual/version | 1 |
6 files changed, 11 insertions, 0 deletions
diff --git a/personal/gnu-c-manual/build b/personal/gnu-c-manual/build new file mode 100755 index 0000000..8e6970a --- /dev/null +++ b/personal/gnu-c-manual/build @@ -0,0 +1,4 @@ +#!/bin/sh -e + +makeinfo gnu-c-manual.texi +install -Dm644 gnu-c-manual.info "$1/usr/share/info/gnu-c-manual.info" diff --git a/personal/gnu-c-manual/checksums b/personal/gnu-c-manual/checksums new file mode 100644 index 0000000..6c8aea6 --- /dev/null +++ b/personal/gnu-c-manual/checksums @@ -0,0 +1 @@ +da331cb3db3a49ebe8da3a89846c44589d336081e2a947fdc72870534492dae9 gnu-c-manual-0.2.5.tar.gz diff --git a/personal/gnu-c-manual/depends b/personal/gnu-c-manual/depends new file mode 100644 index 0000000..283aa46 --- /dev/null +++ b/personal/gnu-c-manual/depends @@ -0,0 +1 @@ +texinfo diff --git a/personal/gnu-c-manual/post-install b/personal/gnu-c-manual/post-install new file mode 100755 index 0000000..0f9c12d --- /dev/null +++ b/personal/gnu-c-manual/post-install @@ -0,0 +1,3 @@ +#!/bin/sh + +install-info "$CPT_ROOT/usr/share/info/gnu-c-manual.info" "$CPT_ROOT/usr/share/info/dir" diff --git a/personal/gnu-c-manual/sources b/personal/gnu-c-manual/sources new file mode 100644 index 0000000..aa01a1b --- /dev/null +++ b/personal/gnu-c-manual/sources @@ -0,0 +1 @@ +https://ftp.gnu.org/gnu/gnu-c-manual/gnu-c-manual-0.2.5.tar.gz diff --git a/personal/gnu-c-manual/version b/personal/gnu-c-manual/version new file mode 100644 index 0000000..2e436a0 --- /dev/null +++ b/personal/gnu-c-manual/version @@ -0,0 +1 @@ +0.2.5 1 |