diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 10da7862cadb77fcbd89ddc7925242dad52cea83..5715ebd8a719d259d25ccf05637ab7f6761936b7 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -17,8 +17,8 @@ else
   SILENT = -silent
 endif
 
-all: pdf
-pdf: $(TARGET).tex $(FRAMAC_MODERN)
+all: $(TARGET).pdf
+$(TARGET).pdf: $(TARGET).tex $(FRAMAC_MODERN)
 	latexmk $(SILENT) -f -pdf $<
 
 install: