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

-- 
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 visit 
https://groups.google.com/d/msgid/fricas-devel/aCON8js9b78nWg0t%40fricas.org.
diff --git a/Makefile.in b/Makefile.in
index c5a9bb6e..c4409633 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -51,6 +51,15 @@ all-src: stamp-rootdirs @fricas_all_prerequisites@
 
 all-input: all-src
 
+webdoc:
+	cd src/doc; ${MAKE} doc
+
+localdoc:
+	cd src/doc; ${MAKE} localdoc
+
+book:
+	cd src/doc; ${MAKE} book
+
 check: all-src
 	cd src/input; ${MAKE} check
 

Reply via email to