diff --git a/agent/Makefile b/agent/Makefile index de703355..22b55dd7 100644 --- a/agent/Makefile +++ b/agent/Makefile @@ -52,7 +52,7 @@ else endif %.1: %.rst - $(PANDOC) $< > $@ + $(PANDOC) -t man $< > $@ %.1.gz: %.1 gzip -f $<