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 @@
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.