diff options
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r-- | Build/source/Makefile.in | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in index 9c85217a575..86df1e0df05 100644 --- a/Build/source/Makefile.in +++ b/Build/source/Makefile.in @@ -451,12 +451,14 @@ distuninstallcheck_listfiles = find . -type f -o -type l -print distcleancheck_listfiles = find . -type f -o -type l -print EXTRA_DIST = \ Build \ - README.coding \ - README.config \ - README.cross \ - README.distro \ - README.hacking \ - README.layout \ + README.0overview \ + README.1prerequisites \ + README.2building \ + README.3installing \ + README.4layout \ + README.5configure \ + README.6cross \ + README.7coding \ build-aux/README.TL \ m4/ChangeLog \ m4/README \ |