Lines Matching refs:DX_FLAG_man
664 DX_FLAG_man
17028 DX_FLAG_man=1
17036 DX_FLAG_man=0
17046 DX_FLAG_man=0
17049 test "$DX_FLAG_doc" = "1" || DX_FLAG_man=0
17055 if test "$DX_FLAG_man" = 1; then
17059 if test "$DX_FLAG_man" = 1; then
18393 if test $DX_FLAG_man -eq 1; then :
18570 #echo DX_FLAG_man=$DX_FLAG_man
18589 if test "$DX_FLAG_man" = "1"; then
Indexes created Fri Apr 17 00:22:50 UTC 2026