diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp.mk.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/otp.mk.in b/make/otp.mk.in index 902def5fd8..4d8727d47e 100644 --- a/make/otp.mk.in +++ b/make/otp.mk.in @@ -262,7 +262,8 @@ $(MAN9DIR)/%.9:: %.xml .xmlsrc.xml: - $(DOCGEN)/priv/bin/codeline_preprocessing.escript $< $@ + escript $(DOCGEN)/priv/bin/codeline_preprocessing.escript $< $@ .fo.pdf: $(FOP) -fo $< -pdf $@ + |