Manページをps形式で保存できることがわかりました。
man -t man > file.ps
またはPDFへ:
man -t man | ps2pdf - file.pdf
Manページ自体とは別に、エクスポートにはmanバージョン、ページ番号、日付が含まれます。
2.6.2 2012-06-18 1
日付を削除するにはどうすればよいですか?追加するものを構成するにはどうすればよいですか?
日付はmanページのソースコードで設定されます
-bash-4.2$ man -w man
/usr/share/man/man1/man.1.gz
-bash-4.2$ zcat $(man -w man) | fgrep 2012
.TH MAN 1 "2012-09-17" "2.6.3" "Manual pager utils"
-bash-4.2$
たとえば、OpenBSDは代わりに日付を.Dd
に配置するため、移植性はありません。
$ man -w man
/usr/share/man/man1/man.1
/usr/share/man/man7/man.7
$ grep 2017 $(man -w 1 man)
.\" $OpenBSD: man.1,v 1.30 2017/08/19 22:05:22 schwarze Exp $
.\" Copyright (c) 2010, 2011, 2014-2017 Ingo Schwarze <[email protected]>
.Dd $Mdocdate: August 19 2017 $
$
いずれの場合も、選択肢は限られています。ソースを編集して日付を削除または変更するか、同じことを行う独自のtroffパーサーを作成します。