Skip to content

Commit 6243387

Browse files
committed
Update make docs procedure
1 parent 63f607e commit 6243387

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

docs/make-docs

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,14 @@
66
# [Semantic versioning](https://semver.org/) is used to help the reader identify the significance of changes.
77
# Changes are relevant to this script and the support docs.mk GNU Make interface.
88
#
9+
10+
# ## 5.1.2 (2023-11-08)
11+
#
12+
# ### Added
13+
#
14+
# - Hide manual_mount warning messages from non-debug output.
15+
# Set the DEBUG environment variable to see all hidden messages.
16+
#
917
# ## 5.1.1 (2023-10-30)
1018
#
1119
# ### Added
@@ -779,7 +787,8 @@ EOF
779787
-e '/website-proxy/ d' \
780788
-e '/rm -rf dist*/ d' \
781789
-e '/Press Ctrl+C to stop/ d' \
782-
-e '/make/ d'
790+
-e '/make/ d' \
791+
-e '/WARNING: The manual_mount source directory/ d'
783792
fi
784793
;;
785794
esac

0 commit comments

Comments
 (0)