diff octaverc @ 3958:ac3abcea55e8

Add --enable-devel-tools option to configure * Makefile.in: new devel-packages rule * configure.ac: arg enable for devel-tools * binary-dist-rules.mk: add devel-packages to packages to install
author John Donoghue <john.donoghue@ieee.org>
date Fri, 05 Jun 2015 21:32:19 -0400
parents 3676b3329fd4
children 47ac621e632f
line wrap: on
line diff