[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [COMMITTED] fix 'make distcheck'
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [COMMITTED] fix 'make distcheck' |
|
Date: |
Sat, 04 Apr 2020 17:53:27 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hi Bruno.
diff --git a/doc/Makefile.am b/doc/Makefile.am
index b55038e..4c075ae 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -16,6 +16,8 @@
info_TEXINFOS = poke.texi
poke_TEXINFOS = fdl.texi pvm-insns.texi
+EXTRA_DIST = gen-pvm-insns.sh
+
# The description of PVM instructions is generated from the
# src/pvm.jitter file.
Thank you very much for fixing this.