Handle EINTR from transport-pipe write

[users/jgh/exim.git] / doc / doc-scripts / BuildPDF

diff --git a/doc/doc-scripts/BuildPDF b/doc/doc-scripts/BuildPDF
index c8a2bc2bef406d5d43ad4838044adf1d4ca4a637..b97ccbd19af064cd5a997f634870878606eb9719 100755 (executable)
--- a/doc/doc-scripts/BuildPDF
+++ b/doc/doc-scripts/BuildPDF
@@ -1,5 +1,4 @@
 #! /bin/sh
-# $Cambridge: exim/doc/doc-scripts/BuildPDF,v 1.1 2004/10/07 15:04:35 ph10 Exp $
 
 echo "PDFing the spec"
 ps2pdf spec.ps spec.pdf