search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.02k stars 234 forks source link

Use of @xnext doesn't match its definition #352

Closed davidvandebunte closed 6 months ago

davidvandebunte commented 6 months ago

With a build using Ubuntu 22.04's texlive, I was running into floats - Error when inserting figure ! Use of @xnext doesn't match its definition - TeX - LaTeX Stack Exchange. As suggested there, the solution was just to upgrade, in my case by using texlive/texlive Tags | Docker Hub. That is, with something along the lines of:

docker run -u 1000:1000 --rm -it -v $(pwd):/workdir texlive/texlive make

See also xu-cheng/latex-action: :octocat: GitHub Action to compile LaTeX documents, used in Fix typos (#350) · OpenLogicProject/OpenLogic@4da084f.

I'm just documenting this here in case someone else runs into it.

rzach commented 6 months ago

Yeah, with very complex projects we sometimes run into TeXlive compatibility issues. The github action we use to test if something compiles is still working, so I assume I am fine?

davidvandebunte commented 6 months ago

Yep you're fine. I assume Ubuntu 22.04 is a relatively common operating system, and I always search closed GitHub/GitLab issues for hints with build problems, so I was just trying to help someone similar.