From 021f34be886fbafdc55c4b8f70fa53beb5f26a84 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Wed, 16 Jan 2019 04:33:04 -0500
Subject: [PATCH] * make-dist: Include src/dmpstruct.awk.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index dac5f9af12b..20be62da1fc 100755
--- a/make-dist
+++ b/make-dist
@@ -472,7 +472,7 @@ echo "Making links to 'src'"
 (cd src &&
  ln [a-zA-Z]*.[chm] ../${tempdir}/src &&
  ln [a-zA-Z]*.in ../${tempdir}/src &&
- ln deps.mk ../${tempdir}/src &&
+ ln deps.mk dmpstruct.awk ../${tempdir}/src &&
  ln README ChangeLog.*[0-9] ../${tempdir}/src &&
  ln .gdbinit .dbxinit ../${tempdir}/src &&
  cd ../${tempdir}/src &&
-- 
2.39.5