changeset 60286 | 410115884a92 |
parent 59974 | b911c8ba0b69 |
child 60301 | ff82ba1893c8 |
--- a/src/Doc/Isar_Ref/document/root.tex Sat May 16 12:05:52 2015 +0200 +++ b/src/Doc/Isar_Ref/document/root.tex Sun May 17 21:44:34 2015 +0200 @@ -59,7 +59,8 @@ \maketitle \pagenumbering{roman} -{\def\isamarkupchapter#1{\chapter*{#1}}\input{Preface.tex}} +\chapter*{Preface} +\input{Preface.tex} \tableofcontents \clearfirst