vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.16k stars 138 forks source link

building current master failure with docs / maybe a new tag/release? #497

Closed alexmyczko closed 7 months ago

alexmyczko commented 7 months ago

When I try to build current form I end up with:

(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))

Package hyperref Warning: Option `hyperindex' has already been used,
(hyperref)                setting the option has no effect on input line 29.

Package hyperref Warning: Option `pagebackref' has already been used,
(hyperref)                setting the option has no effect on input line 29.

Package hyperref Warning: Values of option `pdfpagemode':
(hyperref)                * `UseNone'
(hyperref)                * `UseOutlines'
(hyperref)                * `UseThumbs'
(hyperref)                * `FullScreen'
(hyperref)                * `UseOC' (PDF 1.5)
(hyperref)                * `UseAttachments' (PDF 1.6)
(hyperref)                * An empty value disables the option.
(hyperref)                Unknown value `None' on input line 29.

Writing index file manual.idx
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file manual.aux.
! Undefined control sequence.
\formversiondesc ->\repoversiondesc 

l.89 

? 
tueda commented 7 months ago

What is the content of version.tex? Makefile is supposed to generate/update version.tex in the same directory as manual.tex via git-version-gen.sh.

alexmyczko commented 7 months ago

as at https://sid.ethz.ch/debian/form/2024/

tueda commented 7 months ago

Where should I look into it? It doesn't look like build directories... Do you have logs of autoreconf and make?

tueda commented 7 months ago

Now I see some files like config.log and version.tex. But it doesn't look like a Git repository (no .git directory in it).

alexmyczko commented 7 months ago

yes it was generated using https://github.com/alexmyczko/autoexec.bat/blob/master/deb2itp

tueda commented 7 months ago

@alexmyczko I've added a patch to fix the typesetting error without the Git revision information. Could you try it? (But it is still recommended to build with the Git revision information.)

alexmyczko commented 7 months ago

@tueda i confirm it's good now. thanks, https://sid.ethz.ch/debian/form/2024/doc/