From 4d493e867b349f3475203ef9848353b315203c51 Mon Sep 17 00:00:00 2001 From: Jens Geyer Date: Wed, 31 Aug 2022 22:08:03 +0200 Subject: fixing missing EXTRA_DISTs --- tutorial/java/Makefile.am | 1 + tutorial/js/Makefile.am | 1 + 2 files changed, 2 insertions(+) (limited to 'tutorial') diff --git a/tutorial/java/Makefile.am b/tutorial/java/Makefile.am index 95908b154..59e68bab2 100644 --- a/tutorial/java/Makefile.am +++ b/tutorial/java/Makefile.am @@ -40,6 +40,7 @@ tutorialclient: all $(ANT) $(ANT_FLAGS) tutorialclient EXTRA_DIST = \ + build.properties \ build.xml \ src \ README.md diff --git a/tutorial/js/Makefile.am b/tutorial/js/Makefile.am index 3fe088842..26a3c836e 100644 --- a/tutorial/js/Makefile.am +++ b/tutorial/js/Makefile.am @@ -34,6 +34,7 @@ tutorialserver: all $(ANT) $(ANT_FLAGS) tutorialserver EXTRA_DIST = \ + build.properties \ build.xml \ src \ tutorial.html -- cgit v1.2.1