diff options
| author | Lars Thorsen <[email protected]> | 2010-12-01 12:11:06 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2010-12-01 12:11:06 +0100 |
| commit | 2ea6490f944fd1358b2dacfaece6d5c583c2076b (patch) | |
| tree | 4700752e882c76cba1fd5029fbc3cecb07bc58fb /erts | |
| parent | 9c37a5e56076c85e583848b02400e900a279ac5b (diff) | |
| parent | f11f263bade1738009d6aa8678b4ae381d2d47df (diff) | |
| download | otp-2ea6490f944fd1358b2dacfaece6d5c583c2076b.tar.gz otp-2ea6490f944fd1358b2dacfaece6d5c583c2076b.tar.bz2 otp-2ea6490f944fd1358b2dacfaece6d5c583c2076b.zip | |
Merge branch 'lars/format_man_pages/OTP-8600' into dev
* lars/format_man_pages/OTP-8600:
Fix format_man_pages so it handles all man sections and remove warnings/errors in man pages
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/etc/unix/format_man_pages | 31 |
1 files changed, 9 insertions, 22 deletions
diff --git a/erts/etc/unix/format_man_pages b/erts/etc/unix/format_man_pages index 2c4f6eee4f..93dcdcd8fa 100644 --- a/erts/etc/unix/format_man_pages +++ b/erts/etc/unix/format_man_pages @@ -3,7 +3,7 @@ # # %CopyrightBegin% # -# Copyright Ericsson AB 1996-2009. All Rights Reserved. +# Copyright Ericsson AB 1996-2010. All Rights Reserved. # # The contents of this file are subject to the Erlang Public License, # Version 1.1, (the "License"); you may not use this file except in @@ -59,34 +59,21 @@ esac # Create the 'cat' directories (probably not needed) # -cd $ERL_ROOT +cd $ERL_ROOT/man -if [ ! -d man/cat1 ] -then - mkdir man/cat1 -fi +for d in 0 1 2 3 4 5 6 7 8 9 +do + if [ ! -d cat$d ] + then + mkdir cat$d + fi -if [ ! -d man/cat3 ] -then - mkdir man/cat3 -fi - -if [ ! -d man/cat4 ] -then - mkdir man/cat4 -fi - -if [ ! -d man/cat6 ] -then - mkdir man/cat6 -fi +done # # Cleanup old formatting # -cd $ERL_ROOT/man - rm -f whatis windex # Remove old cat files |