Agreed in principle. Thanks to both of you. > +MANDIR = $(PREFIX)/share/man Dominyk, Gabriel, Julien, I'm tempted to make this $(PREFIX)/man by default. Objections? -- Juliusz