Hi Alejandro, It seems 'make install' requires 'git' to operate? Is there a way to make install without having git installed? (Or should I just silence / ignore errors from bash?) [root@zink man-pages-6.06]# bash -exu -c 'make install DESTDIR=/tmp/foo' | head + make install DESTDIR=/tmp/foo fatal: not a git repository (or any parent up to mount point /) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_ficlone.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_ficlonerange.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_fideduperange.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_fslabel.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_getfsmap.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_iflags.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_ns.2 INSTALL /tmp/foo/usr/local/share/man/man2/ioctl_pagemap_scan.2 INSTALL /tmp/foo/usr/local/share/man/man2type/ INSTALL /tmp/foo/usr/local/share/man/man2type/open_how.2type [root@zink man-pages-6.06]# Best, Henrik Holst
