diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 8169b08f..88efdab9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -260,6 +260,9 @@ make_install_html=@make_install_html@ make_pdfdoc=@make_pdfdoc@ make_install_pdfdoc=@make_install_pdfdoc@ +# All the previous installation directories, when used, are prefixed with +# $(DESTDIR) during install and uninstall, to support staged installations. + # DEFINES should include the following: # # -DWORDS_BIGENDIAN if your target platform is big-endian |