diff options
| author | Rickard Green <[email protected]> | 2019-02-12 18:33:04 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-03-04 16:23:09 +0100 |
| commit | 1adb588f84b1a9340beac2719c0890a05e2dfaad (patch) | |
| tree | 92394117d700ef7b61559d68b76b24d288702dfc /system/doc/html/design_principles/.gitignore | |
| parent | c1df511623b9a2a98d4d3862ae612c1ca9837da7 (diff) | |
| download | otp-1adb588f84b1a9340beac2719c0890a05e2dfaad.tar.gz otp-1adb588f84b1a9340beac2719c0890a05e2dfaad.tar.bz2 otp-1adb588f84b1a9340beac2719c0890a05e2dfaad.zip | |
Fix install phase in build system
- Install of (mainly) documentation caused rebuild and
modification of the source tree even when the source
previously had been built. Also otp_patch_apply
modified the source tree when updating documentation.
This messed up the installation if installation was
performed by another user than the user that originally
built the system which not is an uncommon scenario.
- Some documentation was installed by copying files
instead of installing the files which caused faulty
access rights on files.
- The documentation was not properly updated when
applying a patch using otp_patch_apply.
Diffstat (limited to 'system/doc/html/design_principles/.gitignore')
| -rw-r--r-- | system/doc/html/design_principles/.gitignore | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/system/doc/html/design_principles/.gitignore b/system/doc/html/design_principles/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/system/doc/html/design_principles/.gitignore |