mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 18:49:22 +00:00
* gentpl.py: Replace EXTRA_DIST with dist_noinst_DATA or
dist_<directory>_DATA. EXTRA_DIST is ignored by automake inside false conditions. * conf/Makefile.common: define dist_grubconf_DATA
This commit is contained in:
1 parent
cdce14fad4
commit
17806392f1
3 files changed
+15
-9
No files matched your search
@@ -1,3 +1,10 @@
|
||||
2013-05-14 Andrey Borzenkov <arvidjaar@gmail.com>
|
||||
|
||||
* gentpl.py: Replace EXTRA_DIST with dist_noinst_DATA or
|
||||
dist_<directory>_DATA. EXTRA_DIST is ignored by automake inside
|
||||
false conditions.
|
||||
* conf/Makefile.common: define dist_grubconf_DATA
|
||||
|
||||
2013-05-14 Vladimir Serbinenko <phcoder@gmail.com>
|
||||
|
||||
Progressively skip menu elements on small terminals rather
|
||||
|
||||
Reference in new issue
Block a user