From 92c32f46c80ecd682078166d314e9d7cdcaaec84 Mon Sep 17 00:00:00 2001 From: Philipp Storz Date: Wed, 12 Dec 2018 10:35:24 +0100 Subject: [PATCH] docs: add a header to all auto converted files This commits adds the following header to each autoconverted .rst file: .. ATTENTION do not edit this file manually. It was automatically converted from the corresponding .tex file --- .../en/new_main_reference/post_conversion_changes.sh | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/docs/manuals/en/new_main_reference/post_conversion_changes.sh b/docs/manuals/en/new_main_reference/post_conversion_changes.sh index 4fc090f56f0..8cf0c22f9b9 100755 --- a/docs/manuals/en/new_main_reference/post_conversion_changes.sh +++ b/docs/manuals/en/new_main_reference/post_conversion_changes.sh @@ -339,6 +339,15 @@ ${PERL} 's#:raw-latex:`\\host\{(.*?)\}`#:strong:`\1`#g' ${DESTFILE} +# add rst comment that this file was automatically converted + +mv ${DESTFILE} ${DESTFILE}.tmp +echo ".. ATTENTION do not edit this file manually." > ${DESTFILE} +echo " It was automatically converted from the corresponding .tex file" >> ${DESTFILE} +echo "" >> ${DESTFILE} +cat ${DESTFILE}.tmp >> ${DESTFILE} +rm ${DESTFILE}.tmp + diff --color -ruN ${DESTFILE}.bak ${DESTFILE} exit 0