aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2019-03-04 16:41:57 +0100
committerRickard Green <[email protected]>2019-03-04 16:41:57 +0100
commit05c5720845e0e2142a3b1c6e4b1e9f1e22c19a5c (patch)
tree3490fad1d27e890b9325d48519f1c11ed7cb9611 /.gitignore
parent2052caebf9a9b8d25e1873d9c850b272a98d4680 (diff)
parentb32a929bbb287c318f44cb0ecf17716c480f11ee (diff)
downloadotp-05c5720845e0e2142a3b1c6e4b1e9f1e22c19a5c.tar.gz
otp-05c5720845e0e2142a3b1c6e4b1e9f1e22c19a5c.tar.bz2
otp-05c5720845e0e2142a3b1c6e4b1e9f1e22c19a5c.zip
Merge 'rickard/make-fixes-21/OTP-15551' into 'rickard/make-fixes-22/OTP-15551'
* rickard/make-fixes-21/OTP-15551: 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 '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 8dd66f605a..9497169cde 100644
--- a/.gitignore
+++ b/.gitignore
@@ -142,6 +142,7 @@ JAVADOC-GENERATED
/make/output.mk
/make/emd2exml
/make/make_emakefile
+/make/install_dir_data.sh
# Created by "out_build update_primary"
/bootstrap/primary_compiler/
@@ -317,6 +318,7 @@ JAVADOC-GENERATED
/lib/jinterface/doc/html/java
/lib/jinterface/pom.xml
/lib/jinterface/target
+/lib/jinterface/doc/src/jdoc
# kernel
@@ -371,7 +373,6 @@ JAVADOC-GENERATED
/system/doc/html
/system/doc/xml
/system/doc/top/PR.template
-/system/doc/top/erlresolvelinks.js
# test_server