[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Omit dvi rule
|
From: |
Ralf Wildenhues |
|
Subject: |
Re: Omit dvi rule |
|
Date: |
Mon, 19 Oct 2009 20:11:50 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-08-09) |
* 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