diff options
Diffstat (limited to 'tools/Makefile.in')
| -rw-r--r-- | tools/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index 585a0503..11c57790 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -397,7 +397,6 @@ with_valgrind = @with_valgrind@ EXTRA_DIST = \ check-exports.sh \ debug-helper.py \ - doc-generator.xsl \ run-test-valgrind.sh \ run-test-dbus-session.sh \ test-networkmanager-service.py \ |