Don't do anything, if the user wants no PDF.

diff --git a/ext/pdf/config.m4 b/ext/pdf/config.m4
index 43e0b18e8368b348a8cee4371a6bd431937c77b4..ff862cbe628c6922b7d6af3544f0e37b732cdb9c 100644 (file)
--- a/ext/pdf/config.m4
+++ b/ext/pdf/config.m4
@@ -26,6 +26,8 @@ PHP_ARG_WITH(pdflib,whether to include PDFlib support,
       AC_ADD_LIBRARY(jpeg)
       AC_ADD_LIBRARY(z)
       ;;
+    no)
+      ;;
     *)
       test -f $withval/include/pdflib.h && PDFLIB_INCLUDE="$withval/include"
       if test -n "$PDFLIB_INCLUDE" ; then