From 305bf45bf758ea76ec5be2a737bd8eb491f68921 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Tue, 16 Jun 2020 03:02:40 +0000 Subject: CTAN sync 202006160302 --- macros/luatex/optex/base/ref-file.opm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'macros/luatex/optex/base/ref-file.opm') diff --git a/macros/luatex/optex/base/ref-file.opm b/macros/luatex/optex/base/ref-file.opm index 3cf6f6be7d..c5fa396524 100644 --- a/macros/luatex/optex/base/ref-file.opm +++ b/macros/luatex/optex/base/ref-file.opm @@ -65,7 +65,7 @@ versa. \_cod ---------------------- -\_def\_REFversion{3} % actual version of .ref files in OpTeX +\_def\_REFversion{4} % actual version of .ref files in OpTeX \_def\_Xrefversion#1{\_ifnum #1=\_REFversion\_relax \_else \_endinput \_fi} \_public \Xrefversion ; % we want to ignore .ref files generated by OPmac @@ -107,7 +107,7 @@ The `.ref` file looks like: \begtt \catcode`\<=13 \Xrefversion{} \_Xpage{}{} -\_Xtoc{}{}{}{} +\_Xtoc{<level>}{<type>}{<text>}<title> \_Xlabel{<label>}{<text>} \_Xlabel{<label>}{<text>} ... @@ -118,12 +118,12 @@ The `.ref` file looks like: % where <gpageno> is internal page number globally numbered from one and `<pageno>` is a page number (`\the\pageno`) used in pagination (they may be differ). -Each page begins with `\_Xpage`. +Each page begins with \^`\_Xpage`. The `<label>` is a label used by user in `\label[<label>]` and `<text>` is a text which should be referenced (the number of section or table, for example `2.3.14`). The `<title>` is a title of the chapter (`<level>`=1, `<type>`=`chap`), section (`<level>`=2, `<type>`=`sec`), subsection -(`<level>`=3, `<type>`=`secc`). The `\_Xpage` is written at begining of each +(`<level>`=3, `<type>`=`secc`). The \^`\_Xpage` is written at begining of each page, the `\_Xtoc` is written when chapter or section or subsection title exists on the page and `\_Xlabel` when labeled object prefixed by `\label[<label>]` exists on the page. -- cgit v1.2.3