make clean: remove symbols.i.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 16 Oct 2016 12:57:30 +0000 (14:57 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Tue, 18 Oct 2016 22:36:12 +0000 (00:36 +0200)
commit219a8cdfbbc3adc03b23c2646def11e2ef4446c9
tree6dbf2dc90dd6af3edcd3e31a45a9c47e7ae3829c
parent1e59009102a6a5fa3c58779b1926daa61ae32657
make clean: remove symbols.i.

* GNUmakefile (clean): remove symbols.i.
GNUmakefile