diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2021-12-01 23:43:29 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2022-02-11 04:20:49 -0500 |
| commit | 7c1aa0090f673e29e0b54eae9975b2c1b72a49d2 (patch) | |
| tree | 5069ed3e9ce28b2231c4f086e051565f7cb08782 /libctf/doc/local.mk | |
| parent | a288518611dbda5cfae8894d532cf1040cb1b6c2 (diff) | |
| download | gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.zip gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.tar.gz gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.tar.bz2 | |
libctf: delete unused libctf_TEXINFOS
It's not clear what this was meant for, but it's not used by anything,
and the info pages still generate fine without it.
Diffstat (limited to 'libctf/doc/local.mk')
| -rw-r--r-- | libctf/doc/local.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libctf/doc/local.mk b/libctf/doc/local.mk index cc7d990..9317797 100644 --- a/libctf/doc/local.mk +++ b/libctf/doc/local.mk @@ -20,7 +20,6 @@ if BUILD_INFO info_TEXINFOS += %D%/ctf-spec.texi -libctf_TEXINFOS = $(info_TEXINFOS) AM_MAKEINFOFLAGS = --no-split |