pagecolor no longer exists;
authorwenzelm
Tue Oct 25 20:48:03 2016 +0200 (2016-10-25)
changeset 644017c780152985b
parent 64400 3e2ddf2f82d8
child 64402 4f0acbd97491
pagecolor no longer exists;
uniform use of pdfpagelabels (see 790f73fa8b36);
lib/texinputs/pdfsetup.sty
src/Doc/pdfsetup.sty
     1.1 --- a/lib/texinputs/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
     1.2 +++ b/lib/texinputs/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
     1.3 @@ -4,4 +4,4 @@
     1.4  
     1.5  \usepackage{color}
     1.6  \definecolor{linkcolor}{rgb}{0,0,0.5}
     1.7 -\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}
     1.8 +\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
     2.1 --- a/src/Doc/pdfsetup.sty	Tue Oct 25 19:44:56 2016 +0200
     2.2 +++ b/src/Doc/pdfsetup.sty	Tue Oct 25 20:48:03 2016 +0200
     2.3 @@ -6,7 +6,7 @@
     2.4  
     2.5  \usepackage{color}
     2.6  \definecolor{linkcolor}{rgb}{0,0,0}
     2.7 -\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
     2.8 +\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
     2.9  
    2.10  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
    2.11  \gdef\fnote#1{\hyperpage{#1}n}