diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-12-09 09:55:13 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-12-09 09:55:13 -0800 |
| commit | 55227a20273267c236ec039c3e6559287a1dca45 (patch) | |
| tree | 6119c3d7c2c9ed0d7abc2b5fd1d553bd62113825 /pandoc-cli/pandoc-cli.cabal | |
| parent | eb3a1b11d141f0e24965ef96ff31b70d4dabb9e5 (diff) | |
Move man pages to pandoc-cli package.
Closes #9245.
Diffstat (limited to 'pandoc-cli/pandoc-cli.cabal')
| -rw-r--r-- | pandoc-cli/pandoc-cli.cabal | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pandoc-cli/pandoc-cli.cabal b/pandoc-cli/pandoc-cli.cabal index 0aaf053cd..ee63d951c 100644 --- a/pandoc-cli/pandoc-cli.cabal +++ b/pandoc-cli/pandoc-cli.cabal @@ -17,7 +17,10 @@ synopsis: Conversion between documentation formats description: Pandoc-cli provides a command-line executable that uses the pandoc library to convert between markup formats. -- data-files: --- extra-source-files: +extra-source-files: + man/pandoc.1 + man/pandoc-lua.1 + man/pandoc-server.1 source-repository head type: git location: git://github.com/jgm/pandoc.git |