From 690c83e48e04ee34992dea16501bc25be8b7a7b7 Mon Sep 17 00:00:00 2001
From: Bastien Dumont <bastien.dumont@posteo.net>
Date: Thu, 7 Aug 2025 17:49:01 +0200
Subject: [PATCH] Added the microfixes for the summary in the manual

---
 doc/microfixes-doc.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 doc/microfixes-doc.sh

diff --git a/doc/microfixes-doc.sh b/doc/microfixes-doc.sh
new file mode 100644
index 0000000..c6b6e43
--- /dev/null
+++ b/doc/microfixes-doc.sh
@@ -0,0 +1,10 @@
+sed -i 's/\\startplacetable\[location=none\]//' "$1"
+sed -i 's/\\stopplacetable//' "$1"
+sed -i 's/\\startxtable$/\\startxtable[frame=off,split=yes]/' "$1"
+sed -i 's/width={0\.13/width={0.25/' "$1"
+sed -i 's/width={0\.35/width={0.28/' "$1"
+sed -i 's/width={0\.16/width={0.30/' "$1"
+sed -i 's/width={0\.11/width={0.12/' "$1"
+sed -i 's/width={0\.23/width={0.05/' "$1"
+sed -i 's/nc=3/nc=3,topframe=on,bottomframe=on,roffset=1cm/' "$1"
+sed -i 's/nc=2/nc=2,topframe=on,bottomframe=on/' "$1"