diff options
Diffstat (limited to 'win32/config.gc')
| -rw-r--r-- | win32/config.gc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/win32/config.gc b/win32/config.gc index b27c8e5222..9251b24f3d 100644 --- a/win32/config.gc +++ b/win32/config.gc @@ -564,12 +564,27 @@ make_set_make='#' mallocobj='malloc.o' mallocsrc='malloc.c' malloctype='void *' +man1='man1' man1dir='~INST_TOP~~INST_VER~\man\man1' man1direxp='~INST_TOP~~INST_VER~\man\man1' man1ext='1' +man2='man2' +man2ext='2' +man3='man3' man3dir='~INST_TOP~~INST_VER~\man\man3' man3direxp='~INST_TOP~~INST_VER~\man\man3' man3ext='3' +man4='man4' +man4ext='4' +man5='man5' +man5ext='5' +man6='man6' +man6ext='6' +man7='man7' +man7ext='7' +man8='man8' +man8ext='8' +mandirstyle='bsd' mips_type='' mkdir='mkdir' mmaptype='void *' |