Merge pull request #750 from zickgraf/automatic_documentation

Fixup release-gap-package (again)
homalg-project · Nov 11, 2021 · 46c2298 · 46c2298
2 parents 1e629da + 34de82b
commit 46c2298
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release-gap-package b/release-gap-package
@@ -467,7 +467,7 @@ for package in CAP_project/CAP CAP_project/FreydCategoriesForCAP CAP_project/Mon
     # that is a non-portable extension of POSIX, which works differently in
     # BSD and GNU make.
     for f in ./*/*.htm* ; do
-        sed 's;href="/home/gap/.gap/pkg/$package/doc/;href="https://homalg-project.github.io/$package/doc/;g' "$f" > "$f.bak"
+        sed "s;href=\"/home/gap/.gap/pkg/$package/doc/;href=\"https://homalg-project.github.io/$package/doc/;g" "$f" > "$f.bak"
         mv "$f.bak" "$f"
     done