diff options
| author | Hans Bolinder <[email protected]> | 2016-09-06 12:33:26 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-06 12:33:26 +0200 |
| commit | dd2af327bcd58ee6fee4c8386dec14c9fc775868 (patch) | |
| tree | f71137f37f4af89c489ec4b2de0c5fe9684c9329 /erts | |
| parent | 54d2c59241d9f4e604a3d886721e657bdeaf0d8d (diff) | |
| parent | adf41ae9a17d8f0d0ef424eb504f41bf991532a4 (diff) | |
| download | otp-dd2af327bcd58ee6fee4c8386dec14c9fc775868.tar.gz otp-dd2af327bcd58ee6fee4c8386dec14c9fc775868.tar.bz2 otp-dd2af327bcd58ee6fee4c8386dec14c9fc775868.zip | |
Merge branch 'maint'
* maint:
doc: Use groff with -Tutf8
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/etc/unix/format_man_pages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/etc/unix/format_man_pages b/erts/etc/unix/format_man_pages index 54f2d90c28..0afff13571 100644 --- a/erts/etc/unix/format_man_pages +++ b/erts/etc/unix/format_man_pages @@ -107,7 +107,7 @@ case :"$TARGET" in if [ -f $file ]; then name=`echo $file | sed 's/\.[^.]*$//'` sec=`echo $file | sed 's/.*\.//'` - /usr/bin/groff -Tascii -mandoc $ERL_ROOT/man/man$sec/$file \ + /usr/bin/groff -Tutf8 -mandoc $ERL_ROOT/man/man$sec/$file \ > $ERL_ROOT/man/cat$sec/$file fi done |