The unified diff between revisions [a8d9c4af..] and [5c3dc899..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "debian/README.source"
#  from [ff17c8267bbdb899005cf6a7e090c4c3505cb384]
#    to [1d23961c345466415580d61a2bcc2635a8d9d301]
#
============================================================
--- debian/README.source	ff17c8267bbdb899005cf6a7e090c4c3505cb384
+++ debian/README.source	1d23961c345466415580d61a2bcc2635a8d9d301
@@ -14,8 +14,8 @@ naming convention. In addition, there ar

 We have to rename the root directory in the tarball to meet the dpkg
 naming convention. In addition, there are some files marked executable
-in the upstream tarball that should not be. To prepare a new build
-directory:
+in the upstream tarball that should not be, and some binary files that
+need to be removed. To prepare a new build directory:

     cd /home/Projects/gprbuild
     tar zxf ~/Downloads/gprbuild-gpl-1.3.0-src.tgz
@@ -24,6 +24,11 @@ directory:
     chmod -x gprbuild-1.3.0/examples/subsystems/util_src/lib.h
     chmod -x gprbuild-1.3.0/examples/namings/*
     chmod -x gprbuild-1.3.0/examples/libraries/lib_src/lib.h
+    rm gprbuild-1.3.0/gnat/xsnamest
+    rm gprbuild-1.3.0/gnat/xsnamest.ali
+    rm gprbuild-1.3.0/gnat/xsnamest.o
+    rm gprbuild-1.3.0/gnat/xutil.ali
+    rm gprbuild-1.3.0/gnat/xutil.o
     mkdir gprbuild-1.3.0-current
     tar zcf gprbuild-1.3.0-current/gprbuild_1.3.0.orig.tar.gz gprbuild-1.3.0
     cd gprbuild-1.3.0-current