From 1d2590b3e64d6bf8a5776c7cad905af7ecfc16d5 Mon Sep 17 00:00:00 2001 From: Francis Dupont Date: Mon, 27 Jul 2020 16:20:33 +0200 Subject: [PATCH] [#1248] Dist generated .txt files --- doc/sphinx/Makefile.am | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am index f5118bc43f..7f3b67bf8b 100644 --- a/doc/sphinx/Makefile.am +++ b/doc/sphinx/Makefile.am @@ -78,6 +78,9 @@ $(srcdir)/kea-messages.rst: $(mes_files) mes2doc.py api-files.txt: api/api_files.mk @sed 's;_files .*%/;/;' $< > $@ +# some tools do not use this makefile but still need generate files. +EXTRA_DIST += mes-files.txt api-files.txt + # this rule is only used for development purposes and is not used in official # build process as api.rst is always generated via sphinx's conf.py $(srcdir)/api.rst: $(api_files) api-files.txt api2doc.py