doc/man: Remove duplicate EXTRA_DIST entry for .7
authorng0 <ng0@n0.is>
Sun, 27 Oct 2019 12:57:28 +0000 (12:57 +0000)
committerng0 <ng0@n0.is>
Sun, 27 Oct 2019 12:57:28 +0000 (12:57 +0000)
commit0a84fe50b66c50e4cad0f83de48d4588cf5dff03
treed23199124b8a93adc739deaf9f9173081d6d16f1
parentea52e97ba201506455cec32837128444eb281d9b
doc/man: Remove duplicate EXTRA_DIST entry for .7
doc/man/Makefile.am