Lines Matching refs:DX_FLAG_ps
816 DX_FLAG_ps
28372 DX_FLAG_ps=1
28382 DX_FLAG_ps=0
28394 DX_FLAG_ps=0
28397 test "$DX_FLAG_doc" = "1" || DX_FLAG_ps=0
28403 if test "$DX_FLAG_ps" = 1; then
28503 if test "$DX_FLAG_ps$DX_LATEX" = 1; then
28506 DX_FLAG_ps=0
28609 if test "$DX_FLAG_ps$DX_MAKEINDEX" = 1; then
28612 DX_FLAG_ps=0
28715 if test "$DX_FLAG_ps$DX_DVIPS" = 1; then
28718 DX_FLAG_ps=0
28821 if test "$DX_FLAG_ps$DX_EGREP" = 1; then
28824 DX_FLAG_ps=0
28830 if test "$DX_FLAG_ps" = 1; then
29243 if test "$DX_FLAG_ps" = 1 || test "$DX_FLAG_pdf" = 1; then
29296 #echo DX_FLAG_ps=$DX_FLAG_ps