diff Makefile @ 2987:eb1643bd900c

mk-dist: new argument, --no-strip
author John W. Eaton <jwe@octave.org>
date Thu, 16 May 2013 13:32:37 -0400
parents 169114e27438
children 5329f4891fb7
line wrap: on
line diff