On Fri, Dec 08, 2023 at 09:39:58PM +0800, Qian Yun wrote:
> I just realized that there is also this file: "src/etc/copyright".
>
> What to do with it?
I think it is best to remove it.
> Note that this file is printed by ")copyright" command. So if
> we decide to remove it, we should also adjust Makefile to install
> LICENSE.txt to this location.
The attached patch is doing this.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZYYB30Ri__s2R3K8%40fricas.org.
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in
index 74bb6398..1f2a3a25 100644
--- a/src/etc/Makefile.in
+++ b/src/etc/Makefile.in
@@ -54,7 +54,7 @@ do-stamp-databases: ../algebra/*.NRLIB/*.$(FASLEXT)
$(fricas_target_libdir)/summary: $(srcdir)/summary
cp $< $@
-$(fricas_target_libdir)/copyright: $(srcdir)/copyright
+$(fricas_target_libdir)/copyright: $(srcdir)/../../LICENSE.txt
cp $< $@
$(fricas_target_libdir)/SPADEDIT: $(srcdir)/SPADEDIT
