2003-09-11 04:21:49 -04:00
|
|
|
EXTRA_DIST = usenix.ms
|
2003-09-15 04:52:09 -04:00
|
|
|
CLEANFILES = tmp.ref usenix.ps
|
2003-09-11 04:21:49 -04:00
|
|
|
|
|
|
|
if HAVE_GROFF
|
2006-06-14 11:06:05 -04:00
|
|
|
docs_DATA = usenix.ps
|
|
|
|
docsdir = $(datadir)/doc/@PACKAGE@/ps
|
2003-09-11 04:21:49 -04:00
|
|
|
endif
|
|
|
|
|
2003-09-28 07:15:47 -04:00
|
|
|
MANUAL = $(srcdir)/usenix.ms
|
|
|
|
TROFF = groff -ms
|
|
|
|
UNROFF = unroff -ms
|
2003-09-11 04:21:49 -04:00
|
|
|
|
2003-09-28 07:15:47 -04:00
|
|
|
usenix.ps: $(MANUAL) tmp.ref
|
|
|
|
sed -f tmp.ref $(MANUAL) | $(TROFF) 2> /dev/null > usenix.ps
|
2003-09-11 04:21:49 -04:00
|
|
|
|
2003-09-28 07:15:47 -04:00
|
|
|
usenix.html: $(MANUAL) tmp.ref
|
|
|
|
sed -f tmp.ref $(MANUAL) | $(UNROFF) document=usenix
|
2003-09-11 04:21:49 -04:00
|
|
|
|
2003-09-28 07:15:47 -04:00
|
|
|
tmp.ref: $(MANUAL)
|
|
|
|
$(TROFF) $(MANUAL) 2> tmp.ref >/dev/null
|
2003-09-11 04:21:49 -04:00
|
|
|
|