File: libgtkada-doc.install

package info (click to toggle)
libgtkada 24.0.0-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 41,644 kB
  • sloc: ada: 208,030; xml: 8,602; python: 4,513; perl: 3,838; sh: 3,227; ansic: 1,986; makefile: 348; objc: 163; javascript: 100
file content (6 lines) | stat: -rw-r--r-- 335 bytes parent folder | download 
1
2
3
4
5
6
 
# Upstream expects src/gtkada.gpr to gprinstall xml/gtkada/.xml to
# debian/tmp/usr/share/gps/plug-ins, but we only call it during -arch
# builds, so debian/patches/gprinstall-no-indep-artifacts.diff removes
# the related lines.
# During -indep builds,  install directly:
xml/gtkada.xml                          usr/share/gps/plug-ins