Parcourir la source

[master] Improved DHCP Performance Guide generation.

Tomek Mrugalski il y a 12 ans
Parent
commit
0c9ad616b7
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      tests/tools/dhcp-ubench/Makefile

+ 1 - 1
tests/tools/dhcp-ubench/Makefile

@@ -62,4 +62,4 @@ dhcp-perf-guide.html: dhcp-perf-guide.xml version.ent
 		dhcp-perf-guide.xml
 
 dhcp-perf-guide.pdf: dhcp-perf-guide.xml
-	docbook2pdf $<
+	dblatex -P doc.collab.show=0 -P latex.output.revhistory=0 $<