diff --git a/doctools/IMNAME.TEDIT b/doctools/IMNAME.TXT
similarity index 100%
rename from doctools/IMNAME.TEDIT
rename to doctools/IMNAME.TXT