5 cp python/mDoc/mdoc_extract.py $1/usr/bin/mdoc-extract
7 mkdir -p $1/usr/lib/python3/dist-packages/
8 cp -a python/mDoc/mdoc $1/usr/lib/python3/dist-packages/
11 mkdir -p $1/usr/share/man/man1
12 gzip -c doc/mdoc-extract.1 >$1/usr/share/man/man1/mdoc-extract.1.gz
13 mkdir -p $1/usr/share/man/man7
14 gzip -c doc/mdoku.7 >$1/usr/share/man/man7/mdoku.7.gz