diff --git a/Files b/Files
index c16972f72..739ccadaa 100644
--- a/Files
+++ b/Files
@@ -475,16 +475,8 @@ This is a list of files produced by auxiliary programs.  They can all be
 regenerated from the files in the distribution.
 
 dat:
-(file generated by dgn_comp at playground creation time)
-dungeon
-
-(files generated by lev_comp at playground creation time)
-minefill.lev  minend-1.lev  minend-2.lev  minend-3.lev  minetn-1.lev
-minetn-2.lev  minetn-3.lev  minetn-4.lev  minetn-5.lev  minetn-6.lev
-minetn-7.lev
-
 (files generated by makedefs at playground creation time)
-data         dungeon.pdf  options      oracles      quest.dat    rumors
+data     options  oracles  rumors
 
 (files generated for Qt interface on Mac OS X)
 Info.plist    nethack.icns