* Stefan Bienert wrote on Mon, Oct 19, 2009 at 02:06:40PM CEST: > cd ../.. && /bin/sh > /home/user/projects/documentation.git/share/misc/config/missing --run > automake-1.10 --gnu share/doc/Makefile > share/doc/Makefile.am:76: user target `dvi' defined here... > automake-1.10: ... overrides Automake target `dvi' defined here > share/doc/Makefile.am:76: consider using dvi-local instead of dvi
This is not an error, merely a warning. You can silence it with AUTOMAKE_OPTIONS = -Wno-override > I also tried dvi-local, but this does not work either! That's expected: dvi-local exists to amend the dvi rule. Cheers, Ralf
