diff --git a/mk/suffix.mk b/mk/suffix.mk index afe9f6c3c143462058e1fc70a8dd82c21a031f0b..e0d73ee915e324215385525b9ec355ef96956de3 100644 --- a/mk/suffix.mk +++ b/mk/suffix.mk @@ -219,6 +219,10 @@ HASKELL_POST_COMPILE=$(patsubst %,$(HASKELL_SPLIT_POST),$(filter -split-objs,$(H $(TEXI2HTML) $(TEXI2HTML_OPTS) $(patsubst %.lhs,%.texi,$<) @touch $@ +%.info:: %.texi + @$(RM) $@ + $(MAKEINFO) $(MAKEINFO_OPTS) $< && $(POSTMAKEINFO) $@ + %.hs : %.lhs @$(RM) $@ $(LIT2PGM) $(LIT2PGM_OPTS) -o $@ $<