erasefile <file>

  Erases an info, policy or help file.
