diff options
author | Thomas Lange <lange@informatik.uni-koeln.de> | 2019-04-14 17:57:57 +0200 |
---|---|---|
committer | Thomas Lange <lange@informatik.uni-koeln.de> | 2019-04-14 18:10:25 +0200 |
commit | 643d1c95e98e07b3489e0181e4f94a4f5e300217 (patch) | |
tree | 0144037f0447987514820934d941e3d050bb1214 | |
parent | d873545c0729ec83c4e652905808944908bfd122 (diff) |
fix link
-rw-r--r-- | english/devel/website/desc.wml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/devel/website/desc.wml b/english/devel/website/desc.wml index f9c84c30011..f60e6ef5356 100644 --- a/english/devel/website/desc.wml +++ b/english/devel/website/desc.wml @@ -13,7 +13,7 @@ script), because the web site is mirrored. <a href="$(DEVEL)/website/using_git"><q>webwml</q> git repository</a> <li>the documentation is generated either using DocBook XML (use of DebianDoc SGML is being phased out), from the - <a href="$(DOC)/cvs"><q>ddp</q> Subversion repository</a>; or + <a href="$(DOC)/vcs"><q>ddp</q> git repository</a>; or using <a href="#scripts">cron scripts</a>, from the corresponding Debian packages <li>parts of the site are generated using scripts using other sources, |