diff options
author | Joseph Myers <joseph@codesourcery.com> | 2014-03-06 15:57:24 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2014-03-06 15:57:24 +0000 |
commit | 355bc9868b6c80aec91672b185173cafe008c5d5 (patch) | |
tree | e286765676d6b0037766250e46a0bdaf9a947dcc /manual/Makefile | |
parent | 215db4029ef909b305c528ca9d36cc88771e3afe (diff) | |
download | glibc-355bc9868b6c80aec91672b185173cafe008c5d5.tar.gz |
Remove INSTALL_INFO setting in manual/Makefile.
* manual/Makefile (INSTALL_INFO): Remove variable setting.
Diffstat (limited to 'manual/Makefile')
-rw-r--r-- | manual/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/manual/Makefile b/manual/Makefile index ec1f3d8870..62217a2d7a 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -21,9 +21,6 @@ subdir := manual include ../Makeconfig -# Allow override -INSTALL_INFO = install-info - .PHONY: dvi pdf info html dvi: $(objpfx)libc.dvi |