diff options
Diffstat (limited to 'extra/man-pages/build')
| -rwxr-xr-x | extra/man-pages/build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extra/man-pages/build b/extra/man-pages/build index 0fa9b71f..c8a2dc10 100755 --- a/extra/man-pages/build +++ b/extra/man-pages/build @@ -1,3 +1,6 @@ #!/bin/sh -e +# Remove absolutely unnecessary 'install' flag from the Makefile. +sed -i 's,-T,,' Makefile + make prefix=/usr DESTDIR="$1" install |