src/bin/diffman: Use diff(1) labels for nicer output

Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/src/bin/diffman b/src/bin/diffman
index 12bad62e7e9e2429fb9fff5d0fb434bda03dae90..1704f9a65790d7a3ddaf635e1fd70daa13093041 100755 (executable)
--- a/src/bin/diffman
+++ b/src/bin/diffman
@@ -57,4 +57,4 @@ man "$2" >"$t2";
 opts=($s $w $u);
 
 
-diff "${opts[@]}" "$t1" "$t2";
+diff --label "$1" --label "$2" "${opts[@]}" "$t1" "$t2";