Add a rule to build whenjobs.txt for the website.

diff --git a/.gitignore b/.gitignore
index 3510f62..5b15783 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -40,6 +40,7 @@ Makefile
 /tools/libdir.ml
 /tools/whenjobs
 /tools/whenjobs.1
+/tools/whenjobs.txt
 /tools/whenproto.x
 /tools/whenproto_clnt.ml
 /tools/whenproto_clnt.mli

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 \