chiark / gitweb /
Build: Fix construction of manual pages.
[tripe] / Makefile.am
index 53779bcccbdddc95294db40c6b36ab75ebc25fcc..a36afeb8f7370451aaa343e9888fc8a31b804caf 100644 (file)
@@ -32,12 +32,19 @@ SUBDIRS                      =
 
 ## Core components.
 SUBDIRS                        += common
 
 ## Core components.
 SUBDIRS                        += common
+SUBDIRS                        += uslip
 SUBDIRS                        += client
 SUBDIRS                        += client
+SUBDIRS                        += priv
 SUBDIRS                        += server
 SUBDIRS                        += proxy
 SUBDIRS                        += pkstream
 SUBDIRS                        += init
 
 SUBDIRS                        += server
 SUBDIRS                        += proxy
 SUBDIRS                        += pkstream
 SUBDIRS                        += init
 
+## Path MTU discovery.
+if PATHMTU
+SUBDIRS                        += pathmtu
+endif
+
 ## Wireshark.
 if HAVE_WIRESHARK
 SUBDIRS                        += wireshark
 ## Wireshark.
 if HAVE_WIRESHARK
 SUBDIRS                        += wireshark
@@ -53,6 +60,9 @@ if HAVE_PYGTK
 SUBDIRS                        += mon
 endif
 
 SUBDIRS                        += mon
 endif
 
+## Testing.
+SUBDIRS                        += t
+
 ###--------------------------------------------------------------------------
 ### The pkg-config file.
 
 ###--------------------------------------------------------------------------
 ### The pkg-config file.
 
@@ -79,12 +89,9 @@ DISTCHECK_CONFIGURE_FLAGS = \
 dist-hook::
        echo $(VERSION) >$(distdir)/RELEASE
 
 dist-hook::
        echo $(VERSION) >$(distdir)/RELEASE
 
-## Manual page preamble.
-EXTRA_DIST             += defs.man.in
-CLEANFILES             += defs.man
-
 ## Additional build tools.
 EXTRA_DIST             += config/confsubst
 ## Additional build tools.
 EXTRA_DIST             += config/confsubst
+EXTRA_DIST             += config/auto-version
 
 ###--------------------------------------------------------------------------
 ### Debian.
 
 ###--------------------------------------------------------------------------
 ### Debian.
@@ -99,6 +106,10 @@ EXTRA_DIST          += debian/copyright
 EXTRA_DIST             += debian/pkstream.copyright
 EXTRA_DIST             += debian/pkstream.install
 
 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
 ## server and client
 EXTRA_DIST             += debian/tripe.README
 EXTRA_DIST             += debian/tripe.dirs
@@ -106,6 +117,9 @@ EXTRA_DIST          += debian/tripe.install
 EXTRA_DIST             += debian/tripe.postinst
 EXTRA_DIST             += debian/tripe.logrotate
 
 EXTRA_DIST             += debian/tripe.postinst
 EXTRA_DIST             += debian/tripe.logrotate
 
+## uslip
+EXTRA_DIST             += debian/tripe-uslip.install
+
 ## keys
 EXTRA_DIST             += debian/tripe-keys.install
 
 ## keys
 EXTRA_DIST             += debian/tripe-keys.install
 
@@ -115,5 +129,4 @@ EXTRA_DIST          += debian/tripemon.install
 ## wireshark
 EXTRA_DIST             += debian/tripe-wireshark.install
 
 ## wireshark
 EXTRA_DIST             += debian/tripe-wireshark.install
 
-
 ###----- That's all, folks --------------------------------------------------
 ###----- That's all, folks --------------------------------------------------