Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Defining a new resource directory to be used with doxygen master #7427

Closed
wants to merge 5 commits into from
Closed

Defining a new resource directory to be used with doxygen master #7427

wants to merge 5 commits into from

Commits on May 5, 2023

  1. Defining a new resource directory to be used with doxygen master 

    - fix problem in search functionality
- use default doxygen stylesheet and define differences in the extra strylesheet
- remove non used file (compared to the 1.93 resource directory)
    @albert-github
    albert-github committed May 5, 2023
    Configuration menu
    Copy the full SHA
    72b6a66 View commit details
    Browse the repository at this point in the history

  2. Defining a new resource directory to be used with doxygen master 

    Correcting permissions
    @albert-github
    albert-github committed May 5, 2023
    Configuration menu
    Copy the full SHA
    eaf68f4 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Defining a new resource directory to be used with doxygen master 

    Added missing reference to modules.js in header_package.htnml
    @albert-github
    albert-github committed May 12, 2023
    Configuration menu
    Copy the full SHA
    12e9b3c View commit details
    Browse the repository at this point in the history

  2. Defining a new resource directory to be used with doxygen master 

    To be on the safe side (in case CREATE_SUBDIRS is set) we need also the `relpath` part
    @albert-github
    albert-github committed May 12, 2023
    Configuration menu
    Copy the full SHA
    eeb8be9 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Defining a new resource directory to be used with doxygen master 

    Due to the PR doxygen/doxygen#10045 the `HTML_TIMESTAMP` and `LATEX_TIMESTAMP` settings have been replaced by the setting `TIMESTAMP`.
    @albert-github
    albert-github committed May 17, 2023
    Configuration menu
    Copy the full SHA
    59857d8 View commit details
    Browse the repository at this point in the history