- Hewlett-Packard Server User Manual

Administering the Kerberos Server
Removing Unused Space from the Database
Chapter 8240
Step 8. Remove the /tmp/filename file after you have verified that the new
database is functioning without problems.