summaryrefslogtreecommitdiff
path: root/documentation/.gitignore
AgeCommit message (Collapse)Author
2022-09-23Fix build process of PDF docs on macOS and update .gitignoreAlbrecht Schlosser
Note: the syntax of command/switch `sed -i` is slightly different on macOS vs. Linux and should not be used. Move .gitignore parts referring to /documentation/ to their own file 'documentation/.gitignore' and add new generated file(s).