diff --git a/.bzrignore b/.bzrignore
index 05b31187d09..9f1e3713226 100644
--- a/.bzrignore
+++ b/.bzrignore
@@ -307,3 +307,4 @@ bdb/include/db_ext.h
 bdb/include/mutex_ext.h
 mit-pthreads/syscall.S
 mit-pthreads/config.flags
+stamp-h.in
diff --git a/configure.in b/configure.in
index 460c5e73abe..d476f414fb9 100644
--- a/configure.in
+++ b/configure.in
@@ -172,6 +172,7 @@ test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL_PROGRAM}'
 # Not critical since the generated file is distributed
 AC_PROG_YACC
 AC_CHECK_PROG(PDFMANUAL, pdftex, manual.pdf)
+AC_CHECK_PROG(DVIS,      tex,    manual.dvi)
 
 AC_MSG_CHECKING("return type of sprintf")
 
diff --git a/stamp-h.in b/stamp-h.in
deleted file mode 100644
index 9788f70238c..00000000000
--- a/stamp-h.in
+++ /dev/null
@@ -1 +0,0 @@
-timestamp