| divert(`-1') | |
| # quote(args) - convert args to single-quoted string | |
| define(`quote', `ifelse(`$#', `0', `', ``$*'')') | |
| # dquote(args) - convert args to quoted list of quoted strings | |
| define(`dquote', ``$@'') | |
| # dquote_elt(args) - convert args to list of double-quoted strings | |
| define(`dquote_elt', `ifelse(`$#', `0', `', `$#', `1', ```$1''', | |
| ```$1'',$0(shift($@))')') | |
| divert`'dnl |