Documentation targets in main Makefile
4 views
Skip to first unread message
Waldek Hebisch
May 13, 2025, 2:22:47 PMMay 13
to fricas...@googlegroups.com
Currently to build extra documentation (web pages and FriCAS book)
one needs to change directory to scr/doc. It is more convenient
to do this via main Makefile (like other targets). Attached
patch adds appropriate targets to the main Makefile.
Of course, if this is applied, then build documentation (like
INSTALL) should reflect this.
--
Waldek Hebisch
one needs to change directory to scr/doc. It is more convenient
to do this via main Makefile (like other targets). Attached
patch adds appropriate targets to the main Makefile.
Of course, if this is applied, then build documentation (like
INSTALL) should reflect this.
--
Waldek Hebisch
Grégory Vanuxem
May 15, 2025, 1:04:55 PMMay 15
to fricas...@googlegroups.com
Not tested but +1
--
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...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/aCON8js9b78nWg0t%40fricas.org.
Reply all
Reply to author
Forward
0 new messages