Fix make-dist typo
commit84b6bc9eff770d8252fc400119c2e8fca5df2e48
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 13 Mar 2017 21:24:31 +0000 (13 14:24 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 13 Mar 2017 21:24:51 +0000 (13 14:24 -0700)
tree57e6d1c72083769209ccd63fa51ad012b9c16acc
parenta608330b400d1b25c2cd3243c5011975d6e65168
Fix make-dist typo

* make-dist: Fix typo introduced in the Bug#25895 fix.
make-dist