diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-05-12 16:26:12 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-05-12 16:35:18 +0200 |
| commit | a463ffd9e8b1a60c2514eeb0d9f621e5a0e33767 (patch) | |
| tree | c427e719e1f29e3f75bd59e869094341c1d63c2c /NEWS | |
| parent | e793178adbd7d0d2202c0ab4bc6a9fec1df8851f (diff) | |
build: Make sure the distribution doesn't embed store file names.
* Makefile.am (assert-no-store-file-names): New target.
(dist-hook): Depend on it.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions