chiark / gitweb /
Merge branch 'privsep'
[tripe] / Makefile.am
index 192dcc5eebc053bc3926fbea90eb3afc107204a0..ce25e3704a9b3158aec6c51c6c44ba647b710549 100644 (file)
@@ -40,6 +40,11 @@ SUBDIRS                      += proxy
 SUBDIRS                        += pkstream
 SUBDIRS                        += init
 
+## Path MTU discovery.
+if PATHMTU
+SUBDIRS                        += pathmtu
+endif
+
 ## Wireshark.
 if HAVE_WIRESHARK
 SUBDIRS                        += wireshark
@@ -90,6 +95,7 @@ CLEANFILES            += defs.man
 
 ## Additional build tools.
 EXTRA_DIST             += config/confsubst
+EXTRA_DIST             += config/auto-version
 
 ###--------------------------------------------------------------------------
 ### Debian.
@@ -104,6 +110,10 @@ EXTRA_DIST         += debian/copyright
 EXTRA_DIST             += debian/pkstream.copyright
 EXTRA_DIST             += debian/pkstream.install
 
+## pathmtu
+EXTRA_DIST             += debian/pathmtu.copyright
+EXTRA_DIST             += debian/pathmtu.install
+
 ## server and client
 EXTRA_DIST             += debian/tripe.README
 EXTRA_DIST             += debian/tripe.dirs
@@ -123,5 +133,4 @@ EXTRA_DIST          += debian/tripemon.install
 ## wireshark
 EXTRA_DIST             += debian/tripe-wireshark.install
 
-
 ###----- That's all, folks --------------------------------------------------