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 | |
| parent | 215db4029ef909b305c528ca9d36cc88771e3afe (diff) | |
Remove INSTALL_INFO setting in manual/Makefile.
* manual/Makefile (INSTALL_INFO): Remove variable setting.
Diffstat (limited to 'manual')
| -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 |