Docs: CG PDF formatting nit

diff --git a/Documentation/contributor/doc-work.itexi b/Documentation/contributor/doc-work.itexi
index 5da7c137a3b47ae1523b5c80395c5766314f260b..2ad03ce938d5b4e962331b2ab5480ae89e35624d 100644 (file)
--- a/Documentation/contributor/doc-work.itexi
+++ b/Documentation/contributor/doc-work.itexi
@@ -1172,6 +1172,9 @@ All files should be encoded in UTF-8.
 @node Translating the Learning Manual and other Texinfo documentation
 @unnumberedsubsubsec Translating the Learning Manual and other Texinfo documentation
 
+@iftex
+@vskip 12pt
+@end iftex
 @cartouche
 @b{Note:} node names and section titles are now translated directly in
 Texinfo source files. In case you have files in your working tree that