diff options
| author | Herb Lewis <herb@samba.org> | 1998-11-11 02:04:54 +0000 |
|---|---|---|
| committer | Herb Lewis <herb@samba.org> | 1998-11-11 02:04:54 +0000 |
| commit | 6d04a7dc259f7a573a4e48dbf7bc0c0d1962e8f7 (patch) | |
| tree | 97188d9372ce1f6dc6c42bc167783830b909b4bd /packaging/SGI/mkman | |
| parent | fadde4210715322bac081e3665a73181d80059ab (diff) | |
| download | samba-6d04a7dc259f7a573a4e48dbf7bc0c0d1962e8f7.tar.gz samba-6d04a7dc259f7a573a4e48dbf7bc0c0d1962e8f7.tar.bz2 samba-6d04a7dc259f7a573a4e48dbf7bc0c0d1962e8f7.zip | |
new directories for man page sources
(This used to be commit 555b11f9bc557d7a00aca7aabe9e2536d3936cbb)
Diffstat (limited to 'packaging/SGI/mkman')
| -rwxr-xr-x | packaging/SGI/mkman | 20 |
1 files changed, 4 insertions, 16 deletions
diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman index 4f14fafcdc..4de437d0ad 100755 --- a/packaging/SGI/mkman +++ b/packaging/SGI/mkman @@ -1,27 +1,15 @@ #!/bin/sh -# if you wish to make html versions of the man pages then add the -# argument html when calling this script. You must have rman installed. -# if [ ! -d catman ]; then mkdir catman fi -if [ "$1" = "html" ]; then - if [ ! -d html ]; then - mkdir html - fi -fi - FILES="*.?" -cd ../../docs +cd ../../docs/manpages for FILE in $FILES ; do - neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE` - compress -f ../packaging/SGI/catman/`basename $FILE` - if [ "$1" = "html" ]; then - rman -f html -r "%s.%s.html" $FILE > ../packaging/SGI/html/$FILE.html - fi + neqn $FILE | tbl | nroff -man > ../../packaging/SGI/catman/`basename $FILE` + compress -f ../../packaging/SGI/catman/`basename $FILE` done -cd ../packaging/SGI +cd ../../packaging/SGI |