Lines Matching refs:DX_FLAG_ps
818 DX_FLAG_ps
26242 DX_FLAG_ps=1
26252 DX_FLAG_ps=0
26264 DX_FLAG_ps=0
26267 test "$DX_FLAG_doc" = "1" || DX_FLAG_ps=0
26273 if test "$DX_FLAG_ps" = 1; then
26373 if test "$DX_FLAG_ps$DX_LATEX" = 1; then
26376 DX_FLAG_ps=0
26479 if test "$DX_FLAG_ps$DX_MAKEINDEX" = 1; then
26482 DX_FLAG_ps=0
26585 if test "$DX_FLAG_ps$DX_DVIPS" = 1; then
26588 DX_FLAG_ps=0
26691 if test "$DX_FLAG_ps$DX_EGREP" = 1; then
26694 DX_FLAG_ps=0
26700 if test "$DX_FLAG_ps" = 1; then
27113 if test "$DX_FLAG_ps" = 1 || test "$DX_FLAG_pdf" = 1; then
27166 #echo DX_FLAG_ps=$DX_FLAG_ps