I consider removing 'dist' target from the Makefile. For creating
release I use 'src/scripts/mkdist.sh' and it seems that other
folks do not use 'dist' target. 'dist' target contains comparable
number of lines as 'src/scripts/mkdist.sh' and adds extra work
to maintain Makefiles.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZK3KNjfJpjQ%2B19xr%40fricas.math.uni.wroc.pl.
