-
Type:
New Feature
-
Status: Resolved
-
Priority:
Not specified
-
Resolution: Invalid
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: Language
-
Labels:None
Using MERGE to merge two INDEXes was useful, but I needed to write the merged INDEX to disk. OUTPUT doesn't write INDEXes, so I had to BUILD the merged INDEXes.
Would be nice to have an easy way to write the result of MERGEd indexes to disk.