Move tools/tools/editing/dragonfly.el to share/misc.

diff --git a/share/misc/Makefile b/share/misc/Makefile
index afbd3f5..1bc59a4 100644 (file)
--- a/share/misc/Makefile
+++ b/share/misc/Makefile
@@ -4,7 +4,7 @@
 
 FILES= ascii birthtoken bsd-family-tree eqnchar flowers init.ee \
        iso639 latin1 man.template mdoc.template operator pci_vendors \
-       scsi_modes usb_hid_usages
+       scsi_modes usb_hid_usages dragonfly.el indent.pro
 NOOBJ= noobj
 FILESDIR=      ${BINDIR}/misc
 

diff --git a/tools/tools/editing/dragonfly.el b/share/misc/dragonfly.el
similarity index 100%
rename from tools/tools/editing/dragonfly.el
rename to share/misc/dragonfly.el