On 6/30/24 14:35, Qian Yun wrote:
I missed this bug during testing because this happens with
"make -j1 book", not "make -j8 book".

Do you agree that following patch fix this?

I haven't tested, but it looks good to me.

I hope for the next release, I'll have code to generated these INPUT_EXTRA files from the .htex files.

Ralf

PS: In fact, there is also a missed version change in citation.rst.

 @Misc{FriCAS,
   key =     {FriCAS},
   author =  {{FriCAS team}},
   year =    {2024},
   title =   {{FriCAS} 1.3.10---an advanced computer algebra system},
   note =    {Available at \url{http://fricas.github.io}}
 }

I'll also try to set this up for the next release so that 1.3.10 becomes
|PACKAGE_VERSION| and thus will be automatically be generated correctly.

- Qian

diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index be40c60c..215dfa32 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -666,7 +666,7 @@
  tmp/vp-knot3.input: knot3.input ${INPUT_EXTRA_INPUT}
         cp $< $@

-${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input
+${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input ${INPUT_EXTRA_INPUT}
         unset DAASE; FRICAS=${FRICAS}; export FRICAS; \
                 echo ")read $<" | FRICAS_INITFILE='' ${XVFB} \
                   ${FRICAS}/bin/fricas -noht -noclef > /dev/null

--
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/3ed724c2-798c-433f-ac54-3dfda55d9863%40hemmecke.org.

Reply via email to