(procedure cat_copy
  (makedir catdir
    (help @makedir-help)
  )
  (makedir (tackon catdir cat_name)
    (help @makedir-help)
  )
  (copyfiles
    (help @copyfiles-help)
    (source (tackon (tackon "catalogs" cat_name) "ibrowse.catalog") )
    (dest (tackon catdir cat_name) )
  )
)

(set @default-dest
  (askdir
    (prompt "In which directory have you installed IBrowse?")
    (help #destdir-help)
    (default "Work:IBrowse") ) )

(set catdir (tackon @default-dest "catalogs") )

(set catmask 0)

(if (exists (tackon catdir "català") )
  (set catmask (BITOR catmask 1) ) )

(if (exists (tackon catdir "czech") )
  (set catmask (BITOR catmask 2) ) )

(if (exists (tackon catdir "dansk") )
  (set catmask (BITOR catmask 4) ) )

(if (exists (tackon catdir "deutsch") )
  (set catmask (BITOR catmask 8) ) )

(if (exists (tackon catdir "français") )
  (set catmask (BITOR catmask 16) ) )

(if (exists (tackon catdir "greek") )
  (set catmask (BITOR catmask 32) ) )

(if (exists (tackon catdir "italiano") )
  (set catmask (BITOR catmask 64) ) )

(if (exists (tackon catdir "nederlands") )
  (set catmask (BITOR catmask 128) ) )

(if (exists (tackon catdir "norsk") )
  (set catmask (BITOR catmask 256) ) )

(if (exists (tackon catdir "polski") )
  (set catmask (BITOR catmask 512) ) )

(if (exists (tackon catdir "português") )
  (set catmask (BITOR catmask 1024) ) )

(if (exists (tackon catdir "svenska") )
  (set catmask (BITOR catmask 2048) ) )

(set catmask
  (askoptions
    (prompt "Which catalogs do you want to install?")
    (help #askoptions-help)
    (choices "català" "czech" "dansk" "deutsch" "français" "greek" "italiano" "nederlands" "norsk" "polski" "português" "svenska")
    (default catmask)
  )
)

(if (BITAND catmask 1)
  (
    (set cat_name "català")
    (cat_copy)
  )
)

(if (BITAND catmask 2)
  (
    (set cat_name "czech")
    (cat_copy)
  )
)

(if (BITAND catmask 4)
  (
    (set cat_name "dansk")
    (cat_copy)
  )
)

(if (BITAND catmask 8)
  (
    (set cat_name "deutsch")
    (cat_copy)
  )
)

(if (BITAND catmask 16)
  (
    (set cat_name "français")
    (cat_copy)
  )
)

(if (BITAND catmask 32)
  (
    (set cat_name "greek")
    (cat_copy)
  )
)

(if (BITAND catmask 64)
  (
    (set cat_name "italiano")
    (cat_copy)
  )
)

(if (BITAND catmask 128)
  (
    (set cat_name "nederlands")
    (cat_copy)
  )
)

(if (BITAND catmask 256)
  (
    (set cat_name "norsk")
    (cat_copy)
  )
)

(if (BITAND catmask 512)
  (
    (set cat_name "polski")
    (cat_copy)
  )
)

(if (BITAND catmask 1024)
  (
    (set cat_name "português")
    (cat_copy)
  )
)

(if (BITAND catmask 2048)
  (
    (set cat_name "svenska")
    (cat_copy)
  )
)