diff options
Diffstat (limited to 'src/hyper/Makefile.in')
| -rw-r--r-- | src/hyper/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hyper/Makefile.in b/src/hyper/Makefile.in index 034180f3..a29c2601 100644 --- a/src/hyper/Makefile.in +++ b/src/hyper/Makefile.in @@ -150,6 +150,7 @@ ${HYPER}/pages/ht.db: all-hyper-pre $(srcdir)/pages/*.pht done @ rm -f "${HYPER}"/pages/ht.db @ rm -f "${HYPER}"/pages/*~ + @ touch "${HYPER}"/pages/ht.db for f in `ls "${HYPER}"/pages/*.ht "${HYPER}"/pages/*.pht`; do \ AXIOM="$(AXIOM)" $(HTADD) -s $$f || exit 1; done @ mkdir -p "$(HYPER)"/bitmaps |