diff options
Diffstat (limited to 'doc/scripts/Makefile.am')
-rw-r--r-- | doc/scripts/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/scripts/Makefile.am b/doc/scripts/Makefile.am index a07d476aec..3eeb1dda23 100644 --- a/doc/scripts/Makefile.am +++ b/doc/scripts/Makefile.am @@ -1 +1 @@ -EXTRA_DIST = gdoc sort2.pl +EXTRA_DIST = gdoc sort2.pl split-texi.pl |