PN: make
PV: 4.4.1
PR: r0
PKGV: 4.4.1
PKGR: r0.50
LICENSE: GPL-3.0-only
DESCRIPTION:make-doc: Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files.  Make gets its knowledge of how to build your program from a file called the makefile, which lists each of the non-source files and how to compute it from other files.  This package contains documentation.
SUMMARY:make-doc: GNU tool that controls the build process - Documentation files
SECTION:make-doc: doc
PKG:make-doc: make-doc
FILES:make-doc: /usr/share/doc /usr/share/man /usr/share/info /usr/share/gtk-doc             /usr/share/gnome/help
FILES_INFO:make-doc: {"/usr/share/info/make.info": 6518, "/usr/share/info/make.info-1": 301118, "/usr/share/info/make.info-2": 325102, "/usr/share/info/make.info-3": 19654, "/usr/share/man/man1/make.1": 11853}
PKGSIZE:make-doc: 664245
