Fix "make dist" to include version number, docouple it from rpm packaging 44/6244/3
[vpp.git] / build-root / deb /
drwxr-xr-x   ..
drwxr-xr-x - debian