diff --git a/imag-tag/README.md b/imag-tag/README.md deleted file mode 100644 index ff2847f0..00000000 --- a/imag-tag/README.md +++ /dev/null @@ -1,4 +0,0 @@ -# imag-tag - -Commandline frontend for the tagging library. Not meant to be called by the user -but by developers to investigate tags of entries. diff --git a/imag-tag/README.md b/imag-tag/README.md new file mode 120000 index 00000000..40828c4c --- /dev/null +++ b/imag-tag/README.md @@ -0,0 +1 @@ +../doc/src/04020-module-tag.md \ No newline at end of file