diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2017-12-08 11:14:06 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2017-12-08 11:14:06 +0100 |
| commit | a60576a025c37bbfefede764f0a98e377f41f8ad (patch) | |
| tree | 23338be342377a3fb8c6d1d2159fd29627d84ea1 | |
| parent | 2dbbe5ae4f39f4dbe43b7a049a403f700bd27430 (diff) | |
| download | arabluatex-a60576a025c37bbfefede764f0a98e377f41f8ad.tar.gz | |
commented out l.153 in arabluatex.dtx as the bug in dox has been fixed
| -rw-r--r-- | arabluatex.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arabluatex.dtx b/arabluatex.dtx index 3abaeae..7e684ff 100644 --- a/arabluatex.dtx +++ b/arabluatex.dtx | |||
| @@ -150,7 +150,7 @@ | |||
| 150 | \usepackage[english]{babel} | 150 | \usepackage[english]{babel} |
| 151 | \usepackage{dox} | 151 | \usepackage{dox} |
| 152 | \doxitem{Option}{option}{options} | 152 | \doxitem{Option}{option}{options} |
| 153 | \def\actualchar{ =} % there's a bug in doxitem; quick fix. | 153 | %\def\actualchar{ =} % there's a bug in doxitem; quick fix. |
| 154 | \usepackage{fontspec,luatextra} | 154 | \usepackage{fontspec,luatextra} |
| 155 | \defaultfontfeatures{RawFeature={+liga}} | 155 | \defaultfontfeatures{RawFeature={+liga}} |
| 156 | \setmainfont{Old Standard}[SmallCapsFont={Latin Modern Roman Caps}, | 156 | \setmainfont{Old Standard}[SmallCapsFont={Latin Modern Roman Caps}, |