diff options
author | Bernd Warken <groff-bernd.warken-72@web.de> | 2013-01-24 12:27:39 +0000 |
---|---|---|
committer | Bernd Warken <groff-bernd.warken-72@web.de> | 2013-01-24 12:27:39 +0000 |
commit | ebed4c4933eacea4b5da1b0c620cabe6d57357fc (patch) | |
tree | b96fd505d4f004e7c01508fd7db72e8f32d29942 /MANIFEST | |
parent | 604467a2769c73044be43198b22f470ff31b790a (diff) | |
download | groff-git-ebed4c4933eacea4b5da1b0c620cabe6d57357fc.tar.gz |
Add a shell command to the file MANIFEST that can display all man source
files and their section.
Diffstat (limited to 'MANIFEST')
-rw-r--r-- | MANIFEST | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -145,6 +145,23 @@ The groff documentation is scattered upon several places. - Documentation in other formats are located in the `doc' directory, including the groff info file, tutorials, and manuals. +Man-pages have source files ending in `.man'. When running `make' +they are transformed into an ending `.n'. So it is very hard to +decide into which section the man-page shall go. Here is a shell +command that finds all man-pages and writes the section number after +each file name: + +find -type f | +grep '[.]man$' | +sort | +xargs grep -e '^[.]TH ' | +sed -e ' +s/^\(.\+\): *\.TH.*@MAN\(.*\)EXT@.*$/\1 \2/ +' + +This shell command shall only be run when your in the top directory of +the groff source tree (this file should be there named MANIFEST). + 4) The roff parser |