/bin/sh ./mkinstalldirs /Users/holger/verilog-stuff/3rdparty/share/man/man1
for p in verilator.1 ; do \
  /usr/bin/install -c $p /Users/holger/verilog-stuff/3rdparty/share/man/man1/$p; \
done
install: verilator.1: No such file or directory
make[2]: *** [installman] Error 71
make[1]: *** [/Users/holger/verilog-stuff/3rdparty/bin/verilator] Error 2
make: *** [i_mul.verilated] Error 2