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 /linux/pandoc-server.control.in | |
| 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 'linux/pandoc-server.control.in')
| -rw-r--r-- | linux/pandoc-server.control.in | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/linux/pandoc-server.control.in b/linux/pandoc-server.control.in deleted file mode 100644 index 348fd21c4..000000000 --- a/linux/pandoc-server.control.in +++ /dev/null @@ -1,9 +0,0 @@ -Package: pandoc-server -Version: VERSION -Section: text -Priority: optional -Architecture: ARCHITECTURE -Installed-Size: INSTALLED_SIZE -Depends: libc6 (>= 2.13), libgmp10, zlib1g (>= 1:1.1.4) -Maintainer: John MacFarlane <[email protected]> -Description: HTTP server for pandoc document format converter |