---

graydon · graydon · commit 976d7acf1d84 · 2011-06-28T11:18:34.000-07:00
yaml --- r: 3407 b: refs/heads/master c: 4e89b5a h: refs/heads/master i: 3405: 45fbec8 3403: 51f8552 3399: 818abf0 3391: f256c57 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cab73f88976da05f9d51202699eac86b66941a50
+refs/heads/master: 4e89b5afe79ab04f8623a979cc3807d2c1f64abe
diff --git a/trunk/mk/docs.mk b/trunk/mk/docs.mk
@@ -10,7 +10,7 @@ doc/version.texi: $(MKFILES) rust.texi
 
 doc/%.pdf: %.texi doc/version.texi
 	@$(call E, texi2pdf: $@)
-	$(Q)texi2pdf --batch -I doc -o $@ --clean $<
+	$(Q)texi2pdf --silent --batch -I doc -o $@ --clean $<
 
 doc/%.html: %.texi doc/version.texi
 	@$(call E, makeinfo: $@)

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: cab73f88976da05f9d51202699eac86b66941a50`
	`2`	`+refs/heads/master: 4e89b5afe79ab04f8623a979cc3807d2c1f64abe`