diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 5a3456ef61..1c923f30d8 100644 --- a/Makefile +++ b/Makefile @@ -313,7 +313,7 @@ parent_echo-distinfo: # Make the distribution tarfile. -distribute := README INSTALL FAQ NOTES NEWS PROJECTS BUGS \ +distribute := README README.libm INSTALL FAQ NOTES NEWS PROJECTS BUGS \ COPYING.LIB COPYING ChangeLog ChangeLog.[0-9] \ Makefile Makeconfig Makerules Rules Make-dist MakeTAGS \ extra-lib.mk o-iterator.mk \ |