The commands used were:
- find doc/sphinx/arm -name '*.rst' | xargs grep -E '^\.\. ' | cut -d ' ' -f 2 | sort -uV | grep _command- > /tmp/commands
- for i in $(cat /tmp/commands); do find doc/sphinx/arm -name '*.rst' | xargs sed -i "s/\`\`${i}\`\` command/\`${i} command <_command-${i}>\`/g"; done
- for i in $(cat /tmp/commands); do find doc/sphinx/arm -name '*.rst' | xargs sed -i "s/\`\`${i}\`\`/\`${i} <_command-${i}>\`/g"; done
- for i in $(cat /tmp/commands); do find doc/sphinx/arm -name '*.rst' | xargs sed -i "s/The \`${i} <_command-${i}>\` Command/The \`\`${i}\`\` Command/g"; done
- for i in $(cat /tmp/commands); do find doc/sphinx/arm -name '*.rst' | xargs sed -i "s/- ${i}/- \`${i} <_command-${i}>\`/g"; done
But they were not perfect. Some manual adjustment was required.
The commands used were:
- find doc/sphinx/man -name '*.rst' | xargs grep -F '.. iscman' | cut -d ' ' -f 3 > /tmp/binaries
- for i in $(cat /tmp/binaries); do find doc/sphinx/arm -name '*.rst' | xargs sed -i "s/\`\`${i}\`\`/:iscman:\`${i}\`/g"; done
Manual adjustment was required in a few places to:
- extend title lines
- realign table lines
Two reasons:
- sphinx requires to have all sources in its source directory
so man pages have to be moved
- layout of subfolders in doc folder was not consistent
