diff options
Diffstat (limited to 'repos/core/make')
| -rw-r--r-- | repos/core/make/.files | 14 | ||||
| -rw-r--r-- | repos/core/make/info | 4 |
2 files changed, 18 insertions, 0 deletions
diff --git a/repos/core/make/.files b/repos/core/make/.files new file mode 100644 index 00000000..01deefbf --- /dev/null +++ b/repos/core/make/.files @@ -0,0 +1,14 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/make +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/gnumake.h +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/make.info-1.gz +-rw-r--r-- root/root usr/share/info/make.info-2.gz +-rw-r--r-- root/root usr/share/info/make.info-3.gz +-rw-r--r-- root/root usr/share/info/make.info.gz +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/make.1.gz diff --git a/repos/core/make/info b/repos/core/make/info new file mode 100644 index 00000000..6a828a9a --- /dev/null +++ b/repos/core/make/info @@ -0,0 +1,4 @@ +name=make +version=4.4.1 +release=1 +source="https://ftp.gnu.org/gnu/$name/$name-$version.tar.gz" |