5.3 diff の出力をページに分ける

長い出力にページ番号と日時を付けると便利な場合があります。--paginate(-l)オプションは、diff の出力を pr プログラムに渡してこれを行います。「diff -lc lao tzu」のページ見出しは、たとえば次のようになります。

2002-02-22 14:20                 diff -lc lao tzu                 Page 1