# HG changeset patch
# User wenzelm
# Date 1477421283 -7200
# Node ID 7c780152985be6f2342c89881aef85f964d314b8
# Parent  3e2ddf2f82d8836a32052d9b2214f176d0d61a62
pagecolor no longer exists;
uniform use of pdfpagelabels (see 790f73fa8b36);

diff -r 3e2ddf2f82d8 -r 7c780152985b lib/texinputs/pdfsetup.sty
--- a/lib/texinputs/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
+++ b/lib/texinputs/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
@@ -4,4 +4,4 @@
 
 \usepackage{color}
 \definecolor{linkcolor}{rgb}{0,0,0.5}
-\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
diff -r 3e2ddf2f82d8 -r 7c780152985b src/Doc/pdfsetup.sty
--- a/src/Doc/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
+++ b/src/Doc/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
@@ -6,7 +6,7 @@
 
 \usepackage{color}
 \definecolor{linkcolor}{rgb}{0,0,0}
-\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
 
 \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
 \gdef\fnote#1{\hyperpage{#1}n}