Create or download Dockerfile:
cat > Dockerfile <<EOF
FROM debian:bookworm-slim
WORKDIR /usr/local/src
RUN apt-get update -y && apt-get install -y gcc make git flex
RUN git clone https://github.com/pkubowicz/opendetex.git
RUN cd /usr/local/src/opendetex && make all && make install