version 1.2, 2014/04/04 15:55:19 |
version 1.3, 2014/04/09 21:50:08 |
|
|
const int mansearch_keymax = 41; |
const int mansearch_keymax = 41; |
|
|
const char *const mansearch_keynames[41] = { |
const char *const mansearch_keynames[41] = { |
"NAME", "Nm", "Nd", "arch", "sec", "Xr", "Ar", "Fa", |
"NAME", "Nm", "arch", "sec", "Xr", "Ar", "Fa", "Fl", |
"Fl", "Dv", "Fn", "Ic", "Pa", "Cm", "Li", "Em", |
"Dv", "Fn", "Ic", "Pa", "Cm", "Li", "Em", "Cd", |
"Cd", "Va", "Ft", "Tn", "Er", "Ev", "Sy", "Sh", |
"Va", "Ft", "Tn", "Er", "Ev", "Sy", "Sh", "In", |
"In", "Ss", "Ox", "An", "Mt", "St", "Bx", "At", |
"Ss", "Ox", "An", "Mt", "St", "Bx", "At", "Nx", |
"Nx", "Fx", "Lk", "Ms", "Bsx", "Dx", "Rs", "Vt", |
"Fx", "Lk", "Ms", "Bsx", "Dx", "Rs", "Vt", "Lb", |
"Lb" |
"Nd" |
}; |
}; |