Makefile: Fixed doc dependencies.

geneweb · Nov 14, 2018 · aab9cf0 · aab9cf0
1 parent 9f98831
commit aab9cf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -240,7 +240,7 @@ distrib: distrib-exe
 
 ###### [END] Installation / Distribution section
 
-doc:
+doc: | piqi $(GENERATED_FILES_DEP)
 	dune build @doc
 .PHONY: doc