From 460f0d77bc448909da1d673f4540b73a936af44f Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Thu, 11 Aug 2022 08:06:28 +0200 Subject: DOC: Fix dist missing makefile --- doc/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index d0c4d8b3e..38bf23733 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -34,6 +34,7 @@ EXTRA_DIST = \ sphinx/man_developers \ sphinx/man_users \ sphinx/preface.rst \ - sphinx/_static + sphinx/_static \ + sphinx/Makefile -- cgit v1.2.3