[doc] Make header search more resilient
authorBehdad Esfahbod <behdad@behdad.org>
Tue, 7 May 2019 18:46:11 +0000 (11:46 -0700)
committerBehdad Esfahbod <behdad@behdad.org>
Tue, 7 May 2019 18:46:11 +0000 (11:46 -0700)
commit159fe962e90dd3b758ad10046b9d75cf87c1d4f3
tree05d3f4424baffe739fa92de2332c176a49a6fe66
parent9b05db33b54e6e5f0b4658f4c06e7fe563f8923b
[doc] Make header search more resilient

How stupid to scan all files... Sigh.
docs/Makefile.am