[GRASS5] v.out.mif - v.out.mapinfo

[Markus Neteler]

Hi,

does anyone have ideas about:
v.out.mif - v.out.mapinfo 

v.out.mif help
Description:
 Exports GRASS vector map to MapInfo vector file 

v.out.mapinfo
       (This command must be run interactively)

The latter looks quite old. Shall we keep it?

Markus