]> www.ginac.de Git - cln.git/blob - doc/Makefile.in
tests: #include <iostream> and using namespace std; for std::cout and std::endl
[cln.git] / doc / Makefile.in
1 # Makefile for cln/doc
2
3 #### Start of system configuration section. ####
4
5 # Directories used by "make":
6 srcdir = @srcdir@
7
8 # Directories used by "make install":
9 prefix = @prefix@
10 local_prefix = /usr/local
11 exec_prefix = @exec_prefix@
12 datarootdir = @datarootdir@
13 datadir = @datadir@
14 infodir = @infodir@
15 mandir = @mandir@
16 htmldir = ${datadir}/html
17 dvidir = ${datadir}/dvi
18 DESTDIR =
19
20 # Programs used by "make":
21 RM = rm -f
22 RM_R = rm -rf
23 MKDIR = mkdir -p
24 @SET_MAKE@
25
26 # Programs used by "make" if you have changed the documentation files:
27 TEX = tex
28 TEXI2DVI = texi2dvi
29 DVIPS = dvips -D600
30 MAKEINFO = LANGUAGE= makeinfo
31 TEXI2HTML = texi2html
32
33 # Programs used by "make install":
34 INSTALL = @INSTALL@
35 INSTALL_PROGRAM = @INSTALL_PROGRAM@
36 INSTALL_DATA = @INSTALL_DATA@
37
38 #### End of system configuration section. ####
39
40 PACKAGE = cln
41
42 SHELL = /bin/sh
43
44 VPATH = ${srcdir}
45
46 all : info dvi ps html
47
48
49 info : ${srcdir}/${PACKAGE}.info
50
51 ${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
52         cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
53
54
55 dvi : ${srcdir}/${PACKAGE}.dvi
56
57 ${srcdir}/${PACKAGE}.dvi : ${srcdir}/${PACKAGE}.texi
58         cd ${srcdir} && ${TEXI2DVI} ${PACKAGE}.texi
59
60
61 ps : ${srcdir}/${PACKAGE}.ps
62
63 ${srcdir}/${PACKAGE}.ps : ${srcdir}/${PACKAGE}.dvi
64         ${DVIPS} -o $@ $<
65
66
67 html : ${PACKAGE}.html ${PACKAGE}/${PACKAGE}.html
68
69 ${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
70         cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -monolithic ${PACKAGE}.texi
71
72 ${PACKAGE}/${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
73         cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -split_chapter ${PACKAGE}.texi
74
75
76 install : all installdirs force
77         ${INSTALL_DATA} ${srcdir}/${PACKAGE}.info ${DESTDIR}${infodir}/${PACKAGE}.info
78         @if (install-info --version && \
79              install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
80           echo " install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info";\
81           install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info || :;\
82         else : ; fi
83         ${INSTALL_DATA} ${srcdir}/${PACKAGE}/${PACKAGE}*.html ${DESTDIR}${htmldir}
84         ${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi
85
86 installdirs : force
87         ${MKDIR} ${DESTDIR}${datadir}
88         ${MKDIR} ${DESTDIR}${infodir}
89         ${MKDIR} ${DESTDIR}${htmldir}
90         ${MKDIR} ${DESTDIR}${dvidir}
91
92 uninstall : force
93         @if (install-info --version && \
94              install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
95           echo " install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info"; \
96           install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info; \
97         else :; fi
98         ${RM} ${DESTDIR}${infodir}/${PACKAGE}.info
99         ${RM} ${DESTDIR}${htmldir}/${PACKAGE}_*.html
100         ${RM} ${DESTDIR}${dvidir}/${PACKAGE}.dvi
101
102 check : all
103
104 mostlyclean : clean
105
106 clean : force
107         ${RM} *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
108
109 distclean : clean
110         ${RM} Makefile
111
112 maintainer-clean : distclean
113         ${RM} *.info *.dvi *.ps *.html
114         ${RM_R} cln/
115
116 force :
117