changeset 64401 | 7c780152985b |
parent 29145 | b1c6f4563df7 |
--- 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}