File: Makefile.in

package info (click to toggle)
gnat-gps 5.3dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 50,360 kB
  • ctags: 11,617
  • sloc: ada: 374,346; ansic: 92,327; python: 15,979; xml: 12,186; sh: 3,277; makefile: 1,113; awk: 154; perl: 128; java: 17
file content (43 lines) | stat: -rw-r--r-- 964 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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
prefix = @prefix@
docdir = $(prefix)/share/doc/gps
sharedir = $(prefix)/share/gps

MKDIR = mkdir -p
INSTALL = @INSTALL@
INSTALL_DATA = @INSTALL_DATA@
CONVERT = convert
CP = cp -p

all: ug tutorial gps_pg
static:

gps_pg:
	make -C programers_guide html

ug:
	make -C users_guide html latexpdf

.PHONY: tutorial
tutorial:
	make -C tutorial html

install:
	$(MKDIR) $(docdir)
	$(MKDIR) $(docdir)/html
	$(MKDIR) $(docdir)/pdf
	-$(INSTALL_DATA) gps-welcome.html $(docdir)/html
	-$(CP) users_guide/GPS.py $(sharedir)/library/GPS_doc.py

	${MKDIR} $(docdir)/html/users_guide/
	-${CP} -r users_guide/_build/html/* $(docdir)/html/users_guide/
	-${CP} users_guide/_build/latex/GPS.pdf $(docdir)/pdf/gps.pdf

	${MKDIR} $(docdir)/html/tutorial/
	-${CP} -r tutorial/_build/html/* $(docdir)/html/tutorial/

	-$(INSTALL_DATA) gps-splash.png $(sharedir)
	-${INSTALL_DATA} gps_index.xml ${docdir}/html
	-${INSTALL_DATA} help_index.html ${docdir}/html

clean:
	-${RM} -rf */_build/