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"