aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJoão Valverde <joao.valverde@tecnico.ulisboa.pt>2017-10-22 19:07:29 +0100
committerJoão Valverde <j@v6e.pt>2017-10-22 18:11:54 +0000
commit535ac5832dd39055328b8c211aacf77d654d5282 (patch)
treee41ceaba99d5ff60ca6d3f393341ca941a051463
parentce3ce9e70eb6a2b9400a56d592d75df23682a40b (diff)
Fix make distcheck
Change-Id: Ie6b49429a5a72a4ed7b76fa74b1a6f33b6811254 Reviewed-on: https://code.wireshark.org/review/24022 Reviewed-by: João Valverde <j@v6e.pt>
-rw-r--r--Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index 347defb..f7ff83a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -855,6 +855,7 @@ DIST_SUBDIRS = \
caputils \
codecs \
doc \
+ docbook \
epan \
ui \
ui/cli \