diff options
| author | Matthias Melcher <github@matthiasm.com> | 2024-04-17 17:51:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-17 17:51:32 +0200 |
| commit | fd791a068e39e06785adc44693f4c533d3d6c903 (patch) | |
| tree | ef7ff684b38f646165e80c142e454cd7ef077e2e /fluid/documentation/convert_doxyfile | |
| parent | b4cf1a9824f2c4ba9596044962d3af36e3ca3d99 (diff) | |
Separate FLUID user documentation, screen shot automation (#936)
* CMake integration, no autotiools
* alignment panel is now correctly renamed to setting panel
* source view is now correctly renamed to code view
* Merge FLTK FLUID docs into FLUID user manual.
* Add two simple entry tutorials
* Remove FLUID chapter form FLTK docs.
* GitHub action to generate HTML and PDF docs and
make the available as artefacts
Diffstat (limited to 'fluid/documentation/convert_doxyfile')
| -rwxr-xr-x | fluid/documentation/convert_doxyfile | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/fluid/documentation/convert_doxyfile b/fluid/documentation/convert_doxyfile new file mode 100755 index 000000000..1e06e760a --- /dev/null +++ b/fluid/documentation/convert_doxyfile @@ -0,0 +1,44 @@ +#!/bin/sh +# +# Convert 'Doxyfile.in' to 'Doxyfile' or 'Doxybook' for doxygen docs +# +# Usage: +# +# $ sh convert_doxyfile doxygen_path input output logfile +# +# where +# - 'doxygen_path' is the full path to the doxygen executable or just +# 'doxygen' if this is in the user's PATH. If the full path is used +# an arbitrary doxygen executable and thus doxygen version can be used. +# - 'input' is the file 'Doxyfile.in' stored in Git or any other file. +# - 'output' is the generated doxygen file, usually either 'Doxyfile' +# or 'Doxybook' which will be used subsequently to generate the +# HTML or PDF docs, respectively. +# +# Doxygen warnings and errors are stored in 'logfile' for review. +# +#======================================================================= +# This script requires a posix shell and uses the following commands: +# 'echo', 'date', and (obviously) doxygen. +#======================================================================= + +# doxygen command, input and output file names + +DOXYGEN="$1" + INFILE="$2" +OUTFILE="$3" +LOGFILE="$4" + +# get doxygen version + +VERSION=$("$DOXYGEN" --version) + +# write info header to LOGFILE + +echo "$OUTFILE created by doxygen version $VERSION" > $LOGFILE +echo " at `date`" >> $LOGFILE +echo "" >> $LOGFILE + +# convert doxygen file and append errors and warnings to LOGFILE + +"${DOXYGEN}" -u -s - < $INFILE > $OUTFILE 2>> $LOGFILE |
