diff options
| author | Hans Bolinder <[email protected]> | 2016-09-06 12:31:51 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-06 12:31:51 +0200 |
| commit | adf41ae9a17d8f0d0ef424eb504f41bf991532a4 (patch) | |
| tree | 5afa9d7be3eec54a3a8c257ccb3774e1adbac164 /erts | |
| parent | 54aeaff05a88e83c2ee174b53da2b00ac101c6db (diff) | |
| parent | 71538417952de8c8dfa3b48221f4b52cd197dc2d (diff) | |
| download | otp-adf41ae9a17d8f0d0ef424eb504f41bf991532a4.tar.gz otp-adf41ae9a17d8f0d0ef424eb504f41bf991532a4.tar.bz2 otp-adf41ae9a17d8f0d0ef424eb504f41bf991532a4.zip | |
Merge branch 'hasse/doc/format_man_pages_utf8' into maint
* hasse/doc/format_man_pages_utf8:
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 |