From: Ben Gras Date: Thu, 5 Apr 2007 10:52:20 +0000 (+0000) Subject: no /usr/gnu/man in base system X-Git-Tag: v3.1.3~13 X-Git-Url: http://zhaoyanbai.com/repos/icons/debian/static//%22http:/%22%29?a=commitdiff_plain;h=57a57970457273699d012f32c15fa46d030f730c;p=minix.git no /usr/gnu/man in base system --- diff --git a/tools/chrootmake.sh b/tools/chrootmake.sh index d1e4552fa..5243814e6 100755 --- a/tools/chrootmake.sh +++ b/tools/chrootmake.sh @@ -17,6 +17,5 @@ cd /usr/src make clean # Let man find the manpages su bin -c 'makewhatis /usr/man' -su bin -c 'makewhatis /usr/gnu/man' su bin -c 'makewhatis /usr/local/man' binsizes normal