X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitattributes;h=35a14df8a2b950c9a78f0b95d0f71108e3a9eee7;hb=6187bd67c9ce5258a01fb1305b4257a67daa4154;hp=ca4ea2772a39ad70788d4c455b87d9dbd23996d1;hpb=63fdbedfb1e058306fbe60053eef0a050ab99016;p=pspp

diff --git a/.gitattributes b/.gitattributes
index ca4ea2772a..35a14df8a2 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1 +1,6 @@
+# See lib/git-merge-changelog.c for making this useful.
 ChangeLog	merge=merge-changelog
+
+# Run this to make 'git diff' on texinfo files give nicer hunk context:
+#   git config diff.texinfo.funcname '^@node[	 ][	 ]*\\([^,][^,]*\\)'
+*.texi* diff=texinfo