diff options
Diffstat (limited to 'src/doc/Makefile.in')
| -rw-r--r-- | src/doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 31b56941..e5af57bb 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -49,7 +49,11 @@ all-ax all-doc: stamp $(OUT)/help/%.help: $(IN)/help/%.help cp -p $< $@ -stamp: $(patsubst $(IN)/help/%.help,$(OUT)/help/%.help,$(HELPFILES)) +$(OUT)/gloss.text: $(IN)/gloss.text + cp -p $< $@ + +stamp: $(patsubst $(IN)/help/%.help,$(OUT)/help/%.help,$(HELPFILES)) \ + $(OUT)/gloss.text -rm -f stamp $(STAMP) stamp |