Klaus Schmidinger wrote: >> install-doc-plugins: >> @for i in `ls $(PLUGINDIR)/src | grep -v '[^a-z0-9]'`; do >> $(MAKE) -C "$(PLUGINDIR)/src/$$i" install-doc; done > > I wouldn't mind having that. > > However, what if a plugin's Makefile doesn't provide an > 'install-doc' target? You might want to make sure this > doesn't cause tons of error messages. What we would also > need is the appropriate change to the 'newplugin' script. We could also handle this similar to the libs: On compile, all plugins can put (or symlink) their man-pages into PLUGINS/man, and the install target copies them from there. That way it would be fully backwards compatible. Cheers, Udo
