diff options
author | Stefan Dresselhaus <sdressel@techfak.uni-bielefeld.de> | 2017-05-17 15:13:35 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-05-18 11:55:45 +0200 |
commit | 6b8240fc2f45ced4f16403316cab76df15ceaf7a (patch) | |
tree | 8fecc11a90bd66fc98737259ac3b824e616e3643 /MANUAL.txt | |
parent | 399a36280d19cd9626d54f98bb03d9baef460409 (diff) | |
download | pandoc-6b8240fc2f45ced4f16403316cab76df15ceaf7a.tar.gz |
Add `--eol` flag and writer option to control line endings.
* Add `--eol=crlf|lf` CLI option.
* Add `optEol` to `WriterOptions` [API change]
* In `Text.Pandoc.UTF8`, add new functions parameterized on `Newline`:
`writeFileWith`, `putStrWith`, `putStrLnWith`, `hPutStrWith`,
`hPutStrLnWith`. [API change]
* Document option in MANUAL.txt.
Closes #3663.
Closes #2097.
Diffstat (limited to 'MANUAL.txt')
-rw-r--r-- | MANUAL.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index f41d96ffa..d99cd0600 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -593,7 +593,14 @@ General writer options : Print a system default data file. Files in the user data directory are ignored. +`--eol=crlf`|`lf` + +: Manually specify line endings: `crlf` (Windows) or `lf` + (MacOS/linux/unix). The default is to use the line endings + appropriate for the OS. + `--dpi`=*NUMBER* + : Specify the dpi (dots per inch) value for conversion from pixels to inch/centimeters and vice versa. The default is 96dpi. Technically, the correct term would be ppi (pixels per inch). |