diff options
| author | Hans Bolinder <[email protected]> | 2016-09-06 12:04:21 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-06 12:04:21 +0200 |
| commit | 71538417952de8c8dfa3b48221f4b52cd197dc2d (patch) | |
| tree | 45ab650962341b00ae8d5102909ef3e39e4beb4a /erts/etc/unix | |
| parent | dd2919dc29d3eb0d287522c7485bf42343173937 (diff) | |
| download | otp-71538417952de8c8dfa3b48221f4b52cd197dc2d.tar.gz otp-71538417952de8c8dfa3b48221f4b52cd197dc2d.tar.bz2 otp-71538417952de8c8dfa3b48221f4b52cd197dc2d.zip | |
doc: Use groff with -Tutf8
Diffstat (limited to 'erts/etc/unix')
| -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 |