changeset 351:b18b97d3e4f5

Suppress diff output in Makefile.w32 when generating documentation.
author Matti Hamalainen <ccr@tnsp.org>
date Thu, 23 Jun 2011 04:39:10 +0300
parents 768a8efb1bed
children b54c8545dcb0
files Makefile.w32
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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