File: docs.gpr

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 (29 lines) | stat: -rw-r--r-- 786 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
with "../shared";

project Docs is

   for Languages use ("rest", "Python");
   for Object_Dir use ".";
   for Source_Dirs use ("programmers_guide",
                        "tutorial",
                        "release_notes",
                        "users_guide",
                        "users_guide/GPS",
                        "../gnatdoc/docs/users_guide");

   package Naming is
      for Implementation_Suffix ("rest") use ".rst";
      for Implementation_Suffix ("Python") use ".py";
   end Naming;

   package Compiler is
      for Driver ("rest") use "";
      for Driver ("python") use "";
      for Object_File_Suffix ("python") use ".pyc";
      for Object_File_Suffix ("rest") use "-";
   end Compiler;

   package Documentation renames Shared.Documentation;

end Docs;