diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2020-04-27 20:22:14 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2020-04-27 20:22:14 +0100 |
commit | c2f51e1de6500f6623fb60a5817b8c9061717c7f (patch) | |
tree | 66fd04b5034bb4928930c0958afceb05bd29e1f8 | |
parent | db39ce2b1699acaf5d0ba160cf7cc68ccf6e16d6 (diff) | |
download | gtk+-c2f51e1de6500f6623fb60a5817b8c9061717c7f.tar.gz |
Add check-version.py to the Autotools dist
Otherwise Autotools isn't clever enough to deal with it.
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 9a63602658..4334c7bd08 100644 --- a/Makefile.am +++ b/Makefile.am @@ -16,6 +16,7 @@ EXTRA_DIST += \ NEWS.pre-1-0 \ README.commits \ README.win32 \ + check-version.py \ config.h.win32 \ makefile.msc \ gtk-zip.sh.in \ |