diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 70c94225e7..16ef0e9636 100644 --- a/Makefile +++ b/Makefile @@ -279,7 +279,8 @@ distribute := README README.libm INSTALL FAQ FAQ.in NOTES NEWS BUGS \ mkinstalldirs move-if-change install-sh \ test-installation.pl gen-FAQ.pl versions.awk\ gen-sorted.awk abi-versions.awk abilist.awk \ - firstversions.awk documented.sh cpp) + firstversions.awk documented.sh cpp \ + output-format.sed) distribute := $(strip $(distribute)) generated := $(generated) stubs.h |