diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-03-26 00:55:32 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-03-26 00:55:32 +0100 |
| commit | ba12c9ac88e512c455f20d5abfd62e52c6a9806a (patch) | |
| tree | 3e93a1aaf86ae05d10d49b58d703bae7496d3ad9 | |
| parent | e760359b4dd2765f148b865ecf9f755fee72e87b (diff) | |
| download | ekdosis-ba12c9ac88e512c455f20d5abfd62e52c6a9806a.tar.gz | |
dtx: load minted with 'newfloat=true'
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index ff530af..ad26fc9 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -160,7 +160,7 @@ Running "make install" installs the files in the local TeX tree. | |||
| 160 | \usepackage{arabluatex} | 160 | \usepackage{arabluatex} |
| 161 | \usepackage{relsize} | 161 | \usepackage{relsize} |
| 162 | \usepackage{units} | 162 | \usepackage{units} |
| 163 | \usepackage{minted} | 163 | \usepackage[newfloat=true]{minted} |
| 164 | \newminted[ekdlua]{lua}{linenos, fontsize=\relsize{-0.5}, | 164 | \newminted[ekdlua]{lua}{linenos, fontsize=\relsize{-0.5}, |
| 165 | xleftmargin=12pt, | 165 | xleftmargin=12pt, |
| 166 | numberblanklines=false, numbersep=3pt, firstnumber=last} | 166 | numberblanklines=false, numbersep=3pt, firstnumber=last} |