mandocset

This is python script (mandocset.py) that generates Dash docset from man pages. It takes folders with man pages as it's arguments. Then in each folder it finds all folders, containing digit in their name, runs man2html -r for each file inside them.

You can even generate docset of all manpages on your system (script supports mans compressed with gzip or bzip2), usually they are located at /usr/share/man.

By default script uses man2html utility. If you prefer pandoc just use -e "pandoc -f man -t html".

Some links to man pages

• manpages-posix
• linux man pages' git

How to run: python3 mandocset.py -o Linux_Man_Pages -p resourse/man-pages-4.09/ resourse/man-pages-posix-2013-a/ -i etc/tux.png -I etc/[email protected]. You may also view help: python3 mandocset.py -h.

Looking for linux manpages docset?

1. Download etc/Linux.docset.zip from this repo
2. Extract it to Linux.docset folder
3. Move this folder to Zeal docsets (C:\Users\%username%\AppData\Local\Zeal\Zeal\docsets or ~/.local/share/Zeal/Zeal/docsets/)