1 files changed, 3 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 262b917..f0ce80c 100644
--- a/Makefile
+++ b/Makefile
@@ -33,4 +33,6 @@ test: $(DEBUG_PRODUCT)
 doc: $(MAN_PAGE)
 
 $(MAN_PAGE): doc/ottolangy.1.txt
-	a2x --no-xmllint --format manpage $<
+	sed "s/\$$PREFIX/$$PREFIX/g" $< > "$<.tmp"
+	a2x --no-xmllint --format manpage "$<.tmp"
+	rm "$<.tmp"