From de7d39bf7ef2be2a7fbb9872cc37a73bab2f5db1 Mon Sep 17 00:00:00 2001
From: Edoardo Apra <edoardo.apra@gmail.com>
Date: Thu, 18 Nov 2010 16:19:36 +0000
Subject: [PATCH] added ifpdf package

---
 doc/user/userpdf.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/user/userpdf.tex b/doc/user/userpdf.tex
index cc02cd307f..dda1183688 100644
--- a/doc/user/userpdf.tex
+++ b/doc/user/userpdf.tex
@@ -1,5 +1,6 @@
 % $Id$
 \input{top}
+\usepackage{ifpdf}
 
 \newif\ifpdf
 \ifx\pdfoutput\undefined