remove pre-git/post-git from the nixpkgs manual

NixOS · Sep 24, 2020 · 807aeb1 · 807aeb1
1 parent 22a9cd6
commit 807aeb1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bootstrapify-docbook.sh b/bootstrapify-docbook.sh
@@ -44,4 +44,8 @@ mv "$outDirTmp" "$outDir"
 
 if [ -e "$outDir/manual.html" ]; then
   mv "$outDir/manual.html" "$outDir/index.html"
+  sed -i -z \
+    -e 's|pre-git\n  <\/h2>|<\/h2>|g' \
+    -e 's|post-git\n  <\/h2>|<\/h2>|g' \
+    "$outDir/index.html"
 fi