diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 14:52:42 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:29:54 +0200 |
commit | 821d0ea7b5c3802952ee99ca98dbe379908b2649 (patch) | |
tree | f9392ce03e8b05eb799bb605201d19df6c016829 /doc/development.md | |
parent | dc883341a13340c85b028ee16aa0963db6f47587 (diff) |
Makefile: remove 'smart' extension from pandoc call to generate manuals.
Diffstat (limited to 'doc/development.md')
0 files changed, 0 insertions, 0 deletions