aboutsummaryrefslogtreecommitdiff
path: root/libctf/doc/local.mk
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2021-12-01 23:43:29 -0500
committerMike Frysinger <vapier@gentoo.org>2022-02-11 04:20:49 -0500
commit7c1aa0090f673e29e0b54eae9975b2c1b72a49d2 (patch)
tree5069ed3e9ce28b2231c4f086e051565f7cb08782 /libctf/doc/local.mk
parenta288518611dbda5cfae8894d532cf1040cb1b6c2 (diff)
downloadgdb-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.mk1
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