1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
Description: remove docs from installation artifacts in gnat project
Gprinstall does not distinguish architecture-independent and
architecture-dependent files during installation.
.
Gprinstall is quite convenient for -arch builds, but should not
interfer with -indep installations.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>
--- a/src/gtkada.gpr
+++ b/src/gtkada.gpr
@@ -79,12 +79,6 @@
end Linker;
package Install is
- for Artifacts ("share/gps/plug-ins") use ("../xml/gtkada.xml");
- for Artifacts ("share/doc/gtkada/gtkada_ug") use
- ("../docs/gtkada_ug/_build/html/*",
- "../docs/gtkada_ug/_build/latex/GtkAda.pdf");
- for Artifacts ("share/doc/gtkada") use
- ("../docs/gtkada_rm/gtkada_rm");
end Install;
end GtkAda;
|