diff options
author | aszlig <aszlig@redmoonstudios.org> | 2015-12-11 03:52:56 +0100 |
---|---|---|
committer | aszlig <aszlig@redmoonstudios.org> | 2015-12-11 03:52:56 +0100 |
commit | b3f2e10bbb6a7d9da774baa442b94788213f979c (patch) | |
tree | b08ed88e0974efbb23d4adf64f6a2b5eba4b5136 /doc/entities.ent | |
parent | 2850ee4c74295a9d4b2868e56f4645aac830e888 (diff) |
doc: Add entities file and use it in index.xml.
This makes re-use of URL fragments or repeated links a lot easier. Unfortunately we need to declare the XML namespace for every entity that uses <link/> and xlink which is a bit ugly. :-/ Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Diffstat (limited to 'doc/entities.ent')
-rw-r--r-- | doc/entities.ent | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/doc/entities.ent b/doc/entities.ent new file mode 100644 index 00000000..cee77e2d --- /dev/null +++ b/doc/entities.ent @@ -0,0 +1,22 @@ +<!ENTITY nixos.url "https://nixos.org/"> +<!ENTITY nixpkgs.url "https://nixos.org/nixpkgs/"> +<!ENTITY openlab.url "https://openlab-augsburg.de/"> + +<!ENTITY nixos ' +<link xmlns="http://docbook.org/ns/docbook" + xmlns:xlink="http://www.w3.org/1999/xlink" + xlink:href="&nixos.url;">NixOS</link> +'> +<!ENTITY nixpkgs ' +<link xmlns="http://docbook.org/ns/docbook" + xmlns:xlink="http://www.w3.org/1999/xlink" + xlink:href="&nixpkgs.url;"><nixpkgs></link> +'> +<!ENTITY openlab ' +<link xmlns="http://docbook.org/ns/docbook" + xmlns:xlink="http://www.w3.org/1999/xlink" + xlink:href="&openlab.url;">OpenLab Augsburg</link> +'> + +<!ENTITY hydra.base "https://headcounter.org/hydra"> +<!ENTITY hydra.channelbase "&hydra.base;/channel/custom/openlab/vuizvui"> |