installman1dir='/usr/share/man/man1'; installman3dir='/usr/share/man/man3';