GitBucket
Toggle navigation
Pull requests
Issues
Snippets
Sign in
Files
Branches
1
Releases
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Fork
: 0
johnpearcey
/
dub_jkp
Download ZIP
2831 commits
Transfer to URL with SHA
tree:
076d0b88d4
Branches
Tags
×
master
dub_jkp
/
scripts
/
man
/
latest commit
45b00b4d14
Geod24
authored
on 7 Feb 2020
Mathias LANG
committed
on 7 Feb 2020
..
.gitignore
Start to generate the man pages automatically
7 years ago
README.md
Fix issue 1860: Main man page does not mention subcommands
5 years ago
gen_man.d
Fix issue 1860: Main man page does not mention subcommands
5 years ago
README.md
1) Build
./gen_man.d
2) Preview
On Linux:
man -l dub.1
On OSX:
mkdir -p man1 mv *.1 man1 man -M . dub