diff options
author | wlemb <wlemb> | 2001-12-16 23:47:22 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2001-12-16 23:47:22 +0000 |
commit | ea9d446a4090d15702fbfdc618c29618ce68e60c (patch) | |
tree | 2b4e11dd56e1117d0712dd9db9473280eb4116dd /Makefile.man | |
parent | ca27e549c3d738b0903c1b778aae6713a709196d (diff) | |
download | groff-ea9d446a4090d15702fbfdc618c29618ce68e60c.tar.gz |
* groff.texinfo: Document exact search algorithm for glyphs.
* Makefile.cpg, Makefile.ccpg, Makefile.man: Add dummy file to
the left side of $(MANPAGES) rule to make it always non-empty.
Diffstat (limited to 'Makefile.man')
-rw-r--r-- | Makefile.man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.man b/Makefile.man index 2fecd115..6eaf3111 100644 --- a/Makefile.man +++ b/Makefile.man @@ -2,4 +2,4 @@ all: $(MANPAGES) install_data: install_man install_man: $(MANPAGES) uninstall_sub: uninstall_man -$(MANPAGES): $(top_srcdir)/VERSION $(top_srcdir)/REVISION +$(top_builddir)/stamp-h $(MANPAGES): $(top_srcdir)/VERSION $(top_srcdir)/REVISION |