workflows: Show removed lines in docs workflow
Added a workflow step which show changes
done by the preprocessing script.
This allows to manually verify that the right
lines are removed.
@@ -26,3 +26,5 @@ jobs:
run: make -C docs setupenv
- name: Build docs
run: make -C docs test
+ - name: Show preprocessing changes
+ run: diff -r docs/source docs/_source || true
