From 1cd740e274ef1062a0af088ab5caf58bc59c6649 Mon Sep 17 00:00:00 2001 From: Daniel Jettka Date: Thu, 8 Feb 2024 14:54:47 +0100 Subject: [PATCH] warning for broken feature copying external sources --- manual/tutorial_external_sources.html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/manual/tutorial_external_sources.html b/manual/tutorial_external_sources.html index 39354998..b4327b7c 100644 --- a/manual/tutorial_external_sources.html +++ b/manual/tutorial_external_sources.html @@ -72,7 +72,10 @@

Referring to source descriptions in other files

file must be capable of handling this reference in order to retrieve all source information. -

Copying source descriptions from another file

+

Copying source descriptions from another file

+

Instead of referring to a source description contained in another file, you may want to copy the external source description into the current file. This is convenient if you need to change something in the source description in order to adapt it to the current file.