summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xpackaging/SGI/mkman20
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