File: gnat-gps-doc.install

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (16 lines) | stat: -rw-r--r-- 862 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# Mostly documentation, but upstream renames some directories.

# Referenced from
# help/src/help_module.adb
# docs/gps-welcome.html
# docs/gps_index.xml
docs/gps_index.xml                      usr/share/doc/gnat-gps/html
docs/help_index.html                    usr/share/doc/gnat-gps/html

docs/programmers_guide/_build/html/*    usr/share/doc/gnat-gps/html/programmers_guide
docs/tutorial/_build/html/*             usr/share/doc/gnat-gps/html/tutorial
docs/users_guide/_build/html/*          usr/share/doc/gnat-gps/html/users_guide
docs/release_notes/build/html/*         usr/share/doc/gnat-gps/html/release_notes
docs/release_notes_17/build/html/*      usr/share/doc/gnat-gps/html/release_notes_17
docs/release_notes_62/build/html/*      usr/share/doc/gnat-gps/html/release_notes_62
gnatdoc/docs/users_guide/_build/html/*  usr/share/doc/gnat-gps/html/gnatdoc