diff options
| -rw-r--r-- | .gitignore | 3 | ||||
| -rwxr-xr-x | doc/configure-schema.sh | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index ed8ebf5..f368e5b 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ -__pycache__ \ No newline at end of file +__pycache__ +doc/docbookxi.rnc \ No newline at end of file diff --git a/doc/configure-schema.sh b/doc/configure-schema.sh new file mode 100755 index 0000000..fa17f8d --- /dev/null +++ b/doc/configure-schema.sh @@ -0,0 +1,3 @@ +#! /bin/sh + +ln --symbolic --force --verbose $GUIX_ENVIRONMENT/xml/docbook/5.1/rng/docbookxi.rnc $(dirname $0) |