# HG changeset patch
# User wenzelm
# Date 1289298478 -3600
# Node ID 7434faac7e21199c8b573f5b5b056f9f140eb690
# Parent  27c1a1c82eba77691b94fa5bc06d1f3a87295cba
accomodate old manuals that include pdfsetup.sty without isabelle.sty;

diff -r 27c1a1c82eba -r 7434faac7e21 doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Tue Nov 09 11:17:15 2010 +0100
+++ b/doc-src/pdfsetup.sty	Tue Nov 09 11:27:58 2010 +0100
@@ -15,6 +15,9 @@
 \urlstyle{rm}
 \ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi
 
+\def\isaliteral#1#2{#2}
+\def\isanil{}
+
 \ifpdf
 \ifnum\pdfminorversion<5\pdfminorversion=5\fi
 \renewcommand{\isaliteral}[2]{%