From 7bf1dc75706d558cea41e24ce90f2eb0c026996d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 17 Jan 2019 15:07:07 +0100
Subject: [PATCH] build: Add coq.scm to the distribution.

This is a followup to 33af92dd99c9f2c726c32f81936931c69d719eb9.

* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
---
 gnu/local.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/local.mk b/gnu/local.mk
index 99ebdaad4a..9706a39ef6 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -112,6 +112,7 @@ GNU_SYSTEM_MODULES =				\
   %D%/packages/conky.scm			\
   %D%/packages/connman.scm			\
   %D%/packages/cook.scm				\
+  %D%/packages/coq.scm				\
   %D%/packages/cpio.scm				\
   %D%/packages/cpp.scm 				\
   %D%/packages/cppi.scm				\