aboutsummaryrefslogtreecommitdiff
path: root/personal
diff options
context:
space:
mode:
Diffstat (limited to 'personal')
-rwxr-xr-xpersonal/gnu-c-manual/build4
-rw-r--r--personal/gnu-c-manual/checksums1
-rw-r--r--personal/gnu-c-manual/depends1
-rwxr-xr-xpersonal/gnu-c-manual/post-install3
-rw-r--r--personal/gnu-c-manual/sources1
-rw-r--r--personal/gnu-c-manual/version1
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