File: doc.py

package info (click to toggle)
gnat-gps 4.3-5
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 49,096 kB
  • ctags: 20,461
  • sloc: ada: 274,120; ansic: 154,849; python: 9,890; tcl: 9,812; sh: 8,192; xml: 7,970; cpp: 4,737; yacc: 3,520; makefile: 2,136; lex: 2,043; java: 1,638; perl: 302; awk: 265; sed: 161; asm: 14; fortran: 2; lisp: 1
file content (20 lines) | stat: -rw-r--r-- 723 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
## This is an example of how documentation can be generated in batch mode.
## Assuming you want to generate documentation for project My_Project located
## in /foo/bar, just issue the following command:
##
##    $ gps -P /foo/bar/my_project.gpr --load=python:doc.py

from GPS import *
from pygps import delayed_exit

# Set the preferences. You can adjust them at your convenience.
Preference ("Doc-Process-Body").set (True)
Preference ("Doc-Show-Private").set (True)
Preference ("Doc-References").set (True)
Preference ("Doc-Up-To-Date-Only").set (False)

# Generate documentation for the root projects and all subprojects.
Project.root().generate_doc (recursive=True)

# Try to exit every 10 seconds.
delayed_exit (10000)