obj-$(CONFIG_DEBUGGING_TOOLS) += pres_debugging-tools_de.pdf obj-$(CONFIG_DEBUGGING_TOOLS) += pres_debugging-tools_en.pdf