Patch to set FriCAS homepage in configure
8 views
Skip to first unread message
Ralf Hemmecke
Aug 28, 2020, 3:41:39 PM8/28/20
to fricas-devel
I would like to commit the following patch.
Currently, our configure script has PACKAGE_URL="", i.e. no reference to
the homepage of FriCAS.
I would like to use PACKAGE_URL in the generation of the documentation
(book and sphinx).
The attached patch declares https://fricas.github.io as the official
homepage.
Ralf
Currently, our configure script has PACKAGE_URL="", i.e. no reference to
the homepage of FriCAS.
I would like to use PACKAGE_URL in the generation of the documentation
(book and sphinx).
The attached patch declares https://fricas.github.io as the official
homepage.
Ralf
Waldek Hebisch
Aug 29, 2020, 8:28:57 AM8/29/20
to fricas...@googlegroups.com
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages