diff dist-files.mk @ 4771:a08799ef1197

of-miscellaneous: use __octave_config_info__ * src/of-miscellaneous-3-dev-fixes.patch: new file * dist-files.mk: add of-miscellaneous-3-dev-fixes.patch
author John Donoghue
date Wed, 11 Jul 2018 13:35:05 -0400
parents 451959325f84
children 7c3e3151bf58
line wrap: on
line diff
--- a/dist-files.mk	Wed Jul 11 13:35:03 2018 -0400
+++ b/dist-files.mk	Wed Jul 11 13:35:05 2018 -0400
@@ -495,6 +495,7 @@
   of-mapping.mk \
   of-miscellaneous-1-fixes.patch \
   of-miscellaneous-2-fixes.patch \
+  of-miscellaneous-3-dev-fixes.patch \
   of-miscellaneous.mk \
   of-nan.mk \
   of-netcdf.mk \