mirror of
https://github.com/boostorg/openmethod.git
synced 2026-01-19 04:22:12 +00:00
xref out of mrdocs
This commit is contained in:
@@ -7,7 +7,7 @@
|
||||
# Official repository: https://github.com/boostorg/openmethod
|
||||
#
|
||||
|
||||
set -xe
|
||||
set -e
|
||||
|
||||
if [ $# -eq 0 ]
|
||||
then
|
||||
@@ -25,4 +25,11 @@ echo "Building docs in custom dir..."
|
||||
PATH="$(pwd)/node_modules/.bin:${PATH}"
|
||||
export PATH
|
||||
npx antora --clean --fetch "$PLAYBOOK" --stacktrace --log-level all
|
||||
|
||||
echo "Fixing links to non-mrdocs URIs..."
|
||||
|
||||
for f in $(find build/site -name '*.html'); do
|
||||
perl -i -pe 's{[(.*?)]\(([^)]+)\)}{<a href="../../$2">$1</a>}g' "$f"
|
||||
done
|
||||
|
||||
echo "Done"
|
||||
|
||||
@@ -21,6 +21,11 @@ struct release_registry
|
||||
policies::vptr_vector, policies::default_error_handler,
|
||||
policies::stderr_output> {};
|
||||
|
||||
//! Registry with runtime checks and trace enabled
|
||||
//!
|
||||
//! This is the default value of
|
||||
//! [BOOST_OPENMETHOD_DEFAULT_REGISTRY](../BOOST_OPENMETHOD_DEFAULT_REGISTRY.html) when NDEBUG
|
||||
//! is not defined.
|
||||
struct debug_registry
|
||||
: release_registry::with<policies::runtime_checks, policies::trace> {};
|
||||
|
||||
|
||||
Reference in New Issue
Block a user