Please do not choose option 3. Modifying generated files without modifying the generating files violates the principle of least surprise and will hurt people who use your Debian diff.