diff options
| author | Danilo M. <danix@danix.xyz> | 2026-07-05 20:46:46 +0200 |
|---|---|---|
| committer | Danilo M. <danix@danix.xyz> | 2026-07-05 20:46:46 +0200 |
| commit | 176c7560b21a92fa3007b69847ff253f7d7af9ad (patch) | |
| tree | dcacc3d14024783d8d3a84391e3e1d26998fc900 /.gitignore | |
| parent | 6976f0acbfcc9187b353f56e590a5ac143be6e9e (diff) | |
| download | mkhintfile-176c7560b21a92fa3007b69847ff253f7d7af9ad.tar.gz mkhintfile-176c7560b21a92fa3007b69847ff253f7d7af9ad.zip | |
docs: build gzipped mkhint.1 man page
Escape double-dashes in option names and drop the markdown link so
pandoc's man output renders --flags and text correctly.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..76913f4 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +mkhint.1 |