From owner-freebsd-doc@FreeBSD.ORG  Sun Jan 11 22:34:13 2004
Return-Path: <owner-freebsd-doc@FreeBSD.ORG>
Delivered-To: freebsd-doc@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 993E316A4CE
	for <doc@freebsd.org>; Sun, 11 Jan 2004 22:34:13 -0800 (PST)
Received: from daemon.li (daemon.li [213.203.244.86])
	by mx1.FreeBSD.org (Postfix) with ESMTP id A0EF043D54
	for <doc@freebsd.org>; Sun, 11 Jan 2004 22:34:11 -0800 (PST)
	(envelope-from josef@daemon.li)
Received: from localhost (localhost [127.0.0.1])
  (uid 1000)
  by daemon.li with local; Mon, 12 Jan 2004 06:34:08 +0000
Date: Mon, 12 Jan 2004 06:34:07 +0000
From: Josef El-Rayes <josef@daemon.li>
To: Josef Karthauser <joe@tao.org.uk>
Message-ID: <20040112063407.GA3420@daemon.li>
References: <20040111235951.GA17431@genius.tao.org.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
In-Reply-To: <20040111235951.GA17431@genius.tao.org.uk>
User-Agent: Mutt/1.3.28i
Reply-Path: j.el-rayes@daemon.li
cc: doc@freebsd.org
Subject: Re: gif to ps (or pdf) - any ideas?
X-BeenThere: freebsd-doc@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
Reply-To: j.el-rayes@daemon.li
List-Id: Documentation project <freebsd-doc.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
	<mailto:freebsd-doc-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-doc>
List-Post: <mailto:freebsd-doc@freebsd.org>
List-Help: <mailto:freebsd-doc-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
	<mailto:freebsd-doc-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 12 Jan 2004 06:34:13 -0000

Josef Karthauser <joe@tao.org.uk> wrote:
> I've got a number of gifs, which are A4 pages scanned in high
> resolution.  What I'd like to do is to compile them together as a PDF.

what about creating a latex file including the gifs and then producing
a pdf out of it?

-josef