now the autotools code seems to work better than before and makes user of --docdir, ratehr than my own macro --with-doc-dir
my own macro --with-doc-dir is now removed