diff options
| author | John MacFarlane <[email protected]> | 2022-08-16 16:27:31 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-17 12:28:14 -0700 |
| commit | 8ddc2fc79a45283e7b90f59e9a7763e877d4c044 (patch) | |
| tree | 3e9e8f4fdc7370137c46344ba1829aac6c43c6cd /stack.yaml | |
| parent | 90d52b7129440d7d91bcdf3210513f380063be0a (diff) | |
Integrate server into main pandoc.
- Remove server flag.
- Remove pandoc-server executable.
- Add Text.Pandoc.Server as exposed module. [API change]
- Re-use Opt (and our existing FromJSON instance) for Params.
- Document.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index b0558fbb9..d0c551a8d 100644 --- a/stack.yaml +++ b/stack.yaml @@ -1,6 +1,5 @@ flags: pandoc: - server: false embed_data_files: true QuickCheck: old-random: false |