diff options
| author | Jim Meyering <meyering@redhat.com> | 2012-08-29 17:59:48 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-08-30 15:22:00 +0200 |
| commit | a13ffec3385d648cebb48165e9af4767fc1a315b (patch) | |
| tree | edd5421cb81b169ef68b4f6211228b7bb9d578e7 /doc/.gitignore | |
| parent | 408abf8586a042206e50bea93b241588391d5ac3 (diff) | |
| download | coreutils-a13ffec3385d648cebb48165e9af4767fc1a315b.tar.xz | |
build: factor out a little more re list of *.texi files
We may well want to switch from checking all *.texi to
checking only version-controlled .texi files, so encapsulate
this concept in one place.
* doc/local.mk (doc_srcdir): Delete. Use this instead:
(texi_files): Define. All usages adjusted.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions