# HG changeset patch # User Matti Hamalainen # Date 1308793150 -10800 # Node ID b18b97d3e4f5c17e0e5d323c6adb08bcc3661543 # Parent 768a8efb1bed8eec6a9c1f3bf84229a69d5320a1 Suppress diff output in Makefile.w32 when generating documentation. diff -r 768a8efb1bed -r b18b97d3e4f5 Makefile.w32 --- a/Makefile.w32 Thu Jun 23 04:24:11 2011 +0300 +++ b/Makefile.w32 Thu Jun 23 04:39:10 2011 +0300 @@ -46,7 +46,7 @@ update-doc: @wget -O- http://www.tnsp.org/~ccr/nnchat/ | tr '\n' '§' | sed "s/<.-- BEGIN -->.*<.-- END -->//g" | tr '§' '\n' > $(DOC).new - @if diff -u $(DOC) $(DOC).new; then cp $(DOC).new $(DOC); fi + @if diff -u $(DOC) $(DOC).new > /dev/null; then cp $(DOC).new $(DOC); fi $(DOC): update-doc