Fix header installation path #24

Open

zhaob1n wants to merge 1 commit from zhaob1n/correct-install-path into master

zhaob1n commented

2025-08-01 09:28:06 -05:00

(Migrated from github.com)

Corrects the installation directory for DTL headers from /usr/local/dtl/include/ to the standard /usr/local/include/dtl/.
This change ensures headers are installed in the conventional location where they can be found by build systems and IDEs without additional configuration.

Corrects the installation directory for DTL headers from /usr/local/dtl/include/ to the standard /usr/local/include/dtl/. This change ensures headers are installed in the conventional location where they can be found by build systems and IDEs without additional configuration.

This pull request is broken due to missing fork information.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin 'zhaob1n/correct-install-path:zhaob1n/correct-install-path'

git switch 'zhaob1n/correct-install-path'

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch 'master'

git merge --no-ff 'zhaob1n/correct-install-path'

git switch 'zhaob1n/correct-install-path'

git rebase 'master'

git switch 'master'

git merge --ff-only 'zhaob1n/correct-install-path'

git switch 'zhaob1n/correct-install-path'

git rebase 'master'

git switch 'master'

git merge --no-ff 'zhaob1n/correct-install-path'

git switch 'master'

git merge --squash 'zhaob1n/correct-install-path'