* David Kastrup (2006-02-07) writes: > "Wipe"?
Not bad. I am just concerned that its meaning is not as recognizable as "Clean" which, at least in my experience, is the canonical term for this sort of thing. But maybe I had too much contact with makefiles. On a side note, if you want something to smirk, here is a list of words related to "clean" from Merriam-Webster: decontaminate, purge, purify; disinfect, sanitize; brush, dry-clean, dust, launder, mop, rinse, scour, scrub, sweep, wash, wipe; brighten, deodorize, freshen, spruce (up), sweeten; pick up, straighten (up), tidy > "Xpunge"? (in analog with dired?). Or "Xterminate". I hate it. (c: -- Ralf _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
