git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Move string_of_time_t to Whenutils module.
[whenjobs.git]
/
tools
/
Makefile.am
diff --git
a/tools/Makefile.am
b/tools/Makefile.am
index
20b659e
..
bbb5fa8
100644
(file)
--- a/
tools/Makefile.am
+++ b/
tools/Makefile.am
@@
-88,6
+88,11
@@
whenjobs.1: whenjobs.pod
--stderr --utf8 \
$< > $@
+whenjobs.txt: whenjobs.pod
+ pod2text \
+ --stderr --utf8 \
+ $< > $@
+
CLEANFILES = \
*.cmi *.cmo *.cmx *.cma *.cmxa *~ \
libdir.ml \