## xtitle
bin_PROGRAMS += xtitle
xtitle_SOURCES = xtitle.c
-## !UNDOCUMENTED
+dist_man_MANS += xtitle.1
## pause
if HAVE_MLIB
dist_man_MANS += gorp.1
endif
+## sema
+if HAVE_MLIB
+bin_PROGRAMS += sema
+sema_SOURCES = sema.c
+sema_SOURCES += fence.c fence.h
+sema_SOURCES += timemax.cc timemax.h
+sema_LDADD = $(mLib_LIBS)
+sema_LINK = $(LINK) # don't need C++ libraries here
+dist_man_MANS += sema.1
+endif
+
## cdb tools
if HAVE_LIBCDB
bin_PROGRAMS += cdb-probe cdb-check-domain
EXTRA_DIST += debian/changelog
EXTRA_DIST += debian/control
EXTRA_DIST += debian/compat
+EXTRA_DIST += debian/source/format
## What to install where.
EXTRA_DIST += debian/inst