Lines Matching refs:DX_FLAG_man
691 DX_FLAG_man
18323 DX_FLAG_man=1
18331 DX_FLAG_man=0
18341 DX_FLAG_man=0
18344 test "$DX_FLAG_doc" = "1" || DX_FLAG_man=0
18350 if test "$DX_FLAG_man" = 1; then
18354 if test "$DX_FLAG_man" = 1; then
19778 if test $DX_FLAG_man -eq 1
19962 #echo DX_FLAG_man=$DX_FLAG_man
19981 if test "$DX_FLAG_man" = "1"; then
Indexes created Fri Apr 17 00:22:50 UTC 2026