diff options
Diffstat (limited to 'tools/Makefile.am')
| -rw-r--r-- | tools/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index 2b582c8cbc..d1d660368a 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -131,7 +131,6 @@ EXTRA_DIST = \ dftestlib/util.py \ extract_asn1_from_spec.pl \ fix-encoding-args.pl \ - fix_pragma_wdocumentation.sh \ fixhf.pl \ ftsanity.py \ fuzz-test.sh \ |