diff --git a/misc-scripts/xref_mapping/docs/How_to_run_the_xref_pipeline.pdf b/misc-scripts/xref_mapping/docs/How_to_run_the_xref_pipeline.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..8e4430cce1aec30ef6065d4fe579b94c76641553
Binary files /dev/null and b/misc-scripts/xref_mapping/docs/How_to_run_the_xref_pipeline.pdf differ
diff --git a/misc-scripts/xref_mapping/docs/Xref_sources_and_parsing.pdf b/misc-scripts/xref_mapping/docs/Xref_sources_and_parsing.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..ab23a2ab0c199c52c6d0de91712c2696adf45087
Binary files /dev/null and b/misc-scripts/xref_mapping/docs/Xref_sources_and_parsing.pdf differ
diff --git a/misc-scripts/xref_mapping/docs/Xref_system.pdf b/misc-scripts/xref_mapping/docs/Xref_system.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..2ce25fb1cdd94ba0fb156585f7b752a2f9c42567
Binary files /dev/null and b/misc-scripts/xref_mapping/docs/Xref_system.pdf differ