superrob1500
/
mirror-ghostty
mirror of https://github.com/ghostty-org/ghostty
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

libghostty docs: use latest Doxygen

pull/9041/head
Mitchell Hashimoto 2025-10-05 15:00:59 -07:00
parent fd0851bae7
commit aeb6647aa6
No known key found for this signature in database
GPG Key ID: 523D5DC389D273BC
1 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/build/docker/lib-c-docs/Dockerfile
View File

@ -1,3 +1,26 @@
#--------------------------------------------------------------------
# Build Doxygen from source
#--------------------------------------------------------------------
FROM ubuntu:24.04 AS doxygen-builder
ARG DOXYGEN_VERSION=1.14.0
RUN apt-get update && apt-get install -y \
wget \
cmake \
g++ \
flex \
bison \
python3 \
&& rm -rf /var/lib/apt/lists/* \
&& wget -q https://www.doxygen.nl/files/doxygen-${DOXYGEN_VERSION}.src.tar.gz \
&& tar -xzf doxygen-${DOXYGEN_VERSION}.src.tar.gz \
&& cd doxygen-${DOXYGEN_VERSION} \
&& cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Release \
&& make -j$(nproc) \
&& make install \
&& cd .. \
&& rm -rf doxygen-${DOXYGEN_VERSION}*
#--------------------------------------------------------------------
# Generate documentation with Doxygen
#--------------------------------------------------------------------
@ -6,9 +29,9 @@ FROM ubuntu:24.04 AS builder
# Build argument for noindex header
ARG ADD_NOINDEX_HEADER=false
RUN apt-get update && apt-get install -y \
doxygen \
graphviz \
&& rm -rf /var/lib/apt/lists/*
COPY --from=doxygen-builder /usr/local/bin/doxygen /usr/local/bin/doxygen
WORKDIR /ghostty
COPY include/ ./include/
COPY Doxyfile ./