* Makefile.in (removenullpaths): Remove adjacent null paths.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 10 Jul 2013 06:41:37 +0000 (23:41 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 10 Jul 2013 06:41:37 +0000 (23:41 -0700)
commitc6e7fc0ea726804caa6cbfc673ddeba10bd28ae3
treeb4935410221e7ffc72a787b9dd40b7ea41a4207a
parent954b166e9037de5fdd43b4fbe7b8c73a36ac402e
* Makefile.in (removenullpaths): Remove adjacent null paths.

Fixes: debbugs:14835
ChangeLog
Makefile.in