diff options
Diffstat (limited to 'gnu/usr.bin/man')
-rw-r--r-- | gnu/usr.bin/man/Makefile.inc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gnu/usr.bin/man/Makefile.inc b/gnu/usr.bin/man/Makefile.inc index b993e79..8ea188e 100644 --- a/gnu/usr.bin/man/Makefile.inc +++ b/gnu/usr.bin/man/Makefile.inc @@ -21,16 +21,3 @@ pic= /usr/bin/pic zcat= /usr/bin/zcat compress= gzip -c compext= .gz - -# For scripts. -.if !target(obj) -obj: - @cd ${.CURDIR}; rm -rf obj; \ - here=`pwd`; dest=/usr/obj/`echo $$here | sed 's,/usr/src/,,'`; \ - echo "$$here -> $$dest"; ln -s $$dest obj; \ - if test -d /usr/obj -a ! -d $$dest; then \ - mkdir -p $$dest; \ - else \ - true; \ - fi; -.endif |