diff options
Diffstat (limited to 'pelican/content/BuildingFromSource.md')
| -rw-r--r-- | pelican/content/BuildingFromSource.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pelican/content/BuildingFromSource.md b/pelican/content/BuildingFromSource.md index 3ba00e5..d39111d 100644 --- a/pelican/content/BuildingFromSource.md +++ b/pelican/content/BuildingFromSource.md @@ -20,7 +20,7 @@ code then run make", but the details differ. We check out copies of all the several dozen separate repositories and carefully arrange them in a tree structure which matches the official naming scheme. Yes, really. It's tedious, but we have -[a script to automate this](export:/user/sra/build-tools/https-sync-repos.py). +[a script to automate this](https://git.cryptech.is/user/sra/build-tools/tree/https-sync-repos.py). Be warned that this script is a kludge which relies on parsing XML from this Wiki; this is nasty, but reasonably stable, because the XML itself is generated by another script. @@ -39,7 +39,7 @@ goo necessary to make the whole thing work. Do `git help submodule` for an introduction to git's submodule mechanism. With this model, one just checks out a copy of -[the superrepository](https://git.cryptech.is/releng/alpha.git), +[the superrepository](https://git.cryptech.is/releng/alpha/about), runs `make` in its top directory, and eventually the complete package pops out the other side. |