diff options
author | Werner LEMBERG <wl@gnu.org> | 2013-01-29 08:08:33 +0000 |
---|---|---|
committer | Werner LEMBERG <wl@gnu.org> | 2013-01-29 08:08:33 +0000 |
commit | 06c077b7b7d26270ea6133418a55351b9c994eb7 (patch) | |
tree | 6f20f89b7928e8dd9efc8529e5f32dea58de70fc /MANIFEST | |
parent | b54a18b06a8452db2bdfd13d7fec42a59322fc1b (diff) | |
download | groff-git-06c077b7b7d26270ea6133418a55351b9c994eb7.tar.gz |
Rewording.
Diffstat (limited to 'MANIFEST')
-rw-r--r-- | MANIFEST | 30 |
1 files changed, 13 insertions, 17 deletions
@@ -1,4 +1,4 @@ - Copyright 2001-2006, 2009-2011 + Copyright 2001-2006, 2009-2013 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, @@ -145,22 +145,18 @@ 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). +Man-pages have source files ending in `.man'. Running `make' processes +the files and uses `.n' as the new file extension. In both cases it is +difficult to quickly decide into which section the man-page shall go. +Here is a shell command (to be called from the top directory of the +groff source tree) 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/' 4) The roff parser |