Skip to content

Instantly share code, notes, and snippets.

@ninrod
Created June 2, 2016 01:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save ninrod/62d11e0ea22d68bfa646feb882afaefd to your computer and use it in GitHub Desktop.
Save ninrod/62d11e0ea22d68bfa646feb882afaefd to your computer and use it in GitHub Desktop.
generate docker man pages from source
#! /bin/sh
# Step 1: checkout docker sources, but make sure you do this
# somewhere in /Users directory because boot2docker can only
# share this path with docker containers
git clone https://github.com/docker/docker.git
# Step 2: build docker image
cd docker/man && docker build -t docker/md2man .
# Step 3: build man pages
docker run -v $(realpath ~)/code/docker-manual/docker/man:/docs:rw -w /docs -i docker/md2man /docs/md2man-all.sh
# Step 4: copy generated man pages to /usr/share/man
cp -R man* /usr/share/man/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment