COMP                                                               Menu: FILES
==============================================================================
Compresses the file.

Description
During the editing of any file the space on the disk from which data is
deleted becomes "holes". While occupying memory, this space cannot be used for
further data storage. By using this command you can compress the file, i.e.,
remove the "holes," so that the file is stored on the disk in an efficient
manner.
The process executed by this command is also included in the \save and \b
commands.
