From 162cea265c1c47c794b0a826d5a8f53033c04c19 Mon Sep 17 00:00:00 2001
From: Christian Decker <decker.christian@gmail.com>
Date: Thu, 21 Nov 2019 17:45:54 +0100
Subject: [PATCH] github: Mark derived doc files as generated

This should prevent Github from showing the diffs by default, they'd be
duplicates of the changes in the .md files anyway.
---
 .gitattributes | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitattributes b/.gitattributes
index baf9c2e53..391c0ee85 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -4,3 +4,7 @@
 Makefile text eol=lf
 configure text eol=lf
 .gitmodules text eol=lf
+# The following files are generated and should not be shown in the
+# diffs by default on Github.
+doc/lightning*.7 linguist-generated=true
+