diff options
Diffstat (limited to 'Build/source/texk/web2c/doc/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/doc/Makefile.am | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/doc/Makefile.am b/Build/source/texk/web2c/doc/Makefile.am index 949ad7c2aa6..b89836d3fa0 100644 --- a/Build/source/texk/web2c/doc/Makefile.am +++ b/Build/source/texk/web2c/doc/Makefile.am @@ -6,13 +6,11 @@ info_TEXINFOS = web2c.texi web2c_TEXINFOS = install.texi ref.txi -## ###### ## Not yet used - +## EXTRA_DIST = ref.tex texinfo.bst -## ###### ## Eventually delete these files - +## EXTRA_DIST += Makefile.in.orig |