#_HAS_JDK_ = 1
_HAS_LATEX_ = 1
#_HAS_HTLATEX_ = 1
#_HAS_EMACS_ = 1
#_HAS_PKGCONFIG_ = 1
#_HAS_GTK2_ = 1
PIPS_NO_GPIPS = 1