comparison dist-files.mk @ 3963:9d402d735dd1

nsis-installer: add bash window menu if devel tools enabled * binary-dist-rules.mk: if devel tools enabled, install cmdshell.bat, fix paths that were in build tools prefix * dist-files.mk: add cmdshell.bat * installer-files/cmdshell.bat: new file * makeinst-script.sh: if cmdshell.bat exists, include in installer, and add shortcut
author John Donoghue
date Tue, 09 Jun 2015 15:12:28 -0400
parents bd51e2f81020
children 5ad15d20d11b
comparison
equal deleted inserted replaced
3962:76247f439f51 3963:9d402d735dd1
846 makeinst-script.sh \ 846 makeinst-script.sh \
847 octave-wrapper.in \ 847 octave-wrapper.in \
848 octaverc 848 octaverc
849 849
850 INSTALL_FILES_1 := \ 850 INSTALL_FILES_1 := \
851 cmdshell.bat \
851 gpl-3.0.txt \ 852 gpl-3.0.txt \
852 octave.bat \ 853 octave.bat \
853 octave.bmp \ 854 octave.bmp \
854 octave.vbs \ 855 octave.vbs \
855 octave-hdr.bmp \ 856 octave-hdr.bmp \