Are you saying that
================
${GEN_VIEWPORTFILES_PHT}: %.pht: %.ht ${INPUT_EXTRA_INPUT} ${SMAN} \
$(fricas_target_bindir)/hypertex$(EXEEXT) stamp-initial-ht-db
echo $<
unset DAASE; HTPATH=.; export HTPATH; \
FRICAS_INITFILE='' ${XVFB} ${SMAN} -noihere -paste $<
mobius.VIEW: ${inputsrcdir}/mobius.input
(unset DAASE; FRICAS=${FRICAS}; export FRICAS; \
FRICAS_INITFILE='' ${XVFB} \
${FRICAS}/bin/fricas -noht -noclef -eval ')read $<')
===============
in src/doc/Makefile.in needs src/doc/ht/util.ht?
Well, first rule needs 'util.ht'. I did not check which one.
'mobius.VIEW' can be generated without using 'util.ht'.
That is true according to the rules that are currently in
src/doc/Makefile.in. However, I've just built fricas, then removed
util.ht from the build directory and also from the source directory.
Additionally I remove "util" from the line in Makefile (in the build
directory) that corresponds to
https://github.com/fricas/fricas/blob/master/src/doc/Makefile.in#L237
Then said "cd src/doc; make book.pdf" and got book.pdf with all
generated pictures.
So we are both right.
I could change Makefile.in to make it really independent of util.ht.
In fact, now that we discuss about it. Since it is actually a style file
for hyperdoc, it *is* in that sense special. I only left it under
src/doc to keep all .ht files together. When I developed the build
machinery for book.pdf, I had no idea about what was used where.
Now it seems that the better place for it would be together with
hyperdoc. "util.ht" is needed by hyperdoc to interpret the .ht file.
If src/doc/ht somewhere mentions util.ht so that it is clear how to
write a new .ht file, then moving util.ht to src/hyperdoc or src/interp
would make sense.
Leaving it in src/doc is only a reminder that ht.awk should generate
only commands that are in util.ht.
I do not feel big pressure to move util.ht now, but would like to keep
the comment as I proposed, just as a reminder to myself.
Ralf
--
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/c3dc2391-d812-4252-83c5-be85c0d97823%40hemmecke.org.
