# HG changeset patch # User blanchet # Date 1587136781 -7200 # Node ID c7d19729456c6d3b1963379225c1f0ed8db51f3e # Parent ad7ac7948d576805486b0b6272b46095348e9f78 use friendlier package diff -r ad7ac7948d57 -r c7d19729456c src/Doc/Datatypes/document/root.tex --- a/src/Doc/Datatypes/document/root.tex Thu Apr 16 18:41:09 2020 +0200 +++ b/src/Doc/Datatypes/document/root.tex Fri Apr 17 17:19:41 2020 +0200 @@ -17,7 +17,7 @@ \usepackage{pdfsetup} \usepackage{railsetup} \usepackage{framed} -\usepackage{regexpatch} +\usepackage{xpatch} \makeatletter \xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%