Merge pull request #98 from AlistairB/no-remove-docs

AlistairB · web-flow · commit 12cd297d7ccc · 2023-01-05T13:02:49.000+11:00
Add back ghc docs
diff --git a/9.0/buster/Dockerfile b/9.0/buster/Dockerfile
@@ -127,8 +127,6 @@ RUN set -eux; \
     cd "ghc-$GHC"; \
     ./configure --prefix "/opt/ghc/$GHC"; \
     make install; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \
diff --git a/9.0/slim-buster/Dockerfile b/9.0/slim-buster/Dockerfile
@@ -143,8 +143,6 @@ RUN set -eux; \
     make install; \
     # remove profiling support to save space
     find "/opt/ghc/$GHC/" \( -name "*_p.a" -o -name "*.p_hi" \) -type f -delete; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \
diff --git a/9.2/buster/Dockerfile b/9.2/buster/Dockerfile
@@ -110,8 +110,6 @@ RUN set -eux; \
     cd "ghc-$GHC"; \
     ./configure --prefix "/opt/ghc/$GHC"; \
     make install; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \
diff --git a/9.2/slim-buster/Dockerfile b/9.2/slim-buster/Dockerfile
@@ -126,8 +126,6 @@ RUN set -eux; \
     make install; \
     # remove profiling support to save space
     find "/opt/ghc/$GHC/" \( -name "*_p.a" -o -name "*.p_hi" \) -type f -delete; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \
diff --git a/9.4/buster/Dockerfile b/9.4/buster/Dockerfile
@@ -110,8 +110,6 @@ RUN set -eux; \
     cd "ghc-$GHC-$ARCH-unknown-linux"; \
     ./configure --prefix "/opt/ghc/$GHC"; \
     make install; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \
diff --git a/9.4/slim-buster/Dockerfile b/9.4/slim-buster/Dockerfile
@@ -126,8 +126,6 @@ RUN set -eux; \
     make install; \
     # remove profiling support to save space
     find "/opt/ghc/$GHC/" \( -name "*_p.a" -o -name "*.p_hi" \) -type f -delete; \
-    # remove some docs
-    rm -rf "/opt/ghc/$GHC/share/"; \
     \
     rm -rf /tmp/*; \
     \

Original file line number	Diff line number	Diff line change
`@@ -127,8 +127,6 @@ RUN set -eux; \`
`127`	`127`	`cd "ghc-$GHC"; \`
`128`	`128`	`./configure --prefix "/opt/ghc/$GHC"; \`
`129`	`129`	`make install; \`
`130`		`- # remove some docs`
`131`		`- rm -rf "/opt/ghc/$GHC/share/"; \`
`132`	`130`	`\`
`133`	`131`	`rm -rf /tmp/*; \`
`134`	`132`	`\`
Original file line number	Diff line number	Diff line change
`@@ -143,8 +143,6 @@ RUN set -eux; \`
`143`	`143`	`make install; \`
`144`	`144`	`# remove profiling support to save space`
`145`	`145`	`find "/opt/ghc/$GHC/" \( -name "_p.a" -o -name ".p_hi" \) -type f -delete; \`
`146`		`- # remove some docs`
`147`		`- rm -rf "/opt/ghc/$GHC/share/"; \`
`148`	`146`	`\`
`149`	`147`	`rm -rf /tmp/*; \`
`150`	`148`	`\`
Original file line number	Diff line number	Diff line change
`@@ -110,8 +110,6 @@ RUN set -eux; \`
`110`	`110`	`cd "ghc-$GHC"; \`
`111`	`111`	`./configure --prefix "/opt/ghc/$GHC"; \`
`112`	`112`	`make install; \`
`113`		`- # remove some docs`
`114`		`- rm -rf "/opt/ghc/$GHC/share/"; \`
`115`	`113`	`\`
`116`	`114`	`rm -rf /tmp/*; \`
`117`	`115`	`\`
Original file line number	Diff line number	Diff line change
`@@ -126,8 +126,6 @@ RUN set -eux; \`
`126`	`126`	`make install; \`
`127`	`127`	`# remove profiling support to save space`
`128`	`128`	`find "/opt/ghc/$GHC/" \( -name "_p.a" -o -name ".p_hi" \) -type f -delete; \`
`129`		`- # remove some docs`
`130`		`- rm -rf "/opt/ghc/$GHC/share/"; \`
`131`	`129`	`\`
`132`	`130`	`rm -rf /tmp/*; \`
`133`	`131`	`\`