]> www.ginac.de Git - cln.git/blob - doc/Makefile.in
Renamed from cln.tex.
[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 EMACS = emacs
33
34 # Programs used by "make install":
35 INSTALL = @INSTALL@
36 INSTALL_PROGRAM = @INSTALL_PROGRAM@
37 INSTALL_DATA = @INSTALL_DATA@
38
39 #### End of system configuration section. ####
40
41 PACKAGE = cln
42
43 SHELL = /bin/sh
44
45 VPATH = ${srcdir}
46
47 all : info dvi ps html
48
49
50 info : ${srcdir}/${PACKAGE}.info
51
52 ${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
53         cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
54
55 ${srcdir}/${PACKAGE}.texi : ${srcdir}/${PACKAGE}.tex
56         cp $< $@
57         ${EMACS} -batch $@ -load addnodes.el -f save-buffer
58         mv $@ $@~
59         sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
60         ${RM} $@~
61
62
63 dvi : ${srcdir}/${PACKAGE}.dvi
64
65 ${srcdir}/${PACKAGE}.dvi : ${srcdir}/${PACKAGE}.texi
66         cd ${srcdir} && ${TEXI2DVI} ${PACKAGE}.texi
67
68
69 ps : ${srcdir}/${PACKAGE}.ps
70
71 ${srcdir}/${PACKAGE}.ps : ${srcdir}/${PACKAGE}.dvi
72         ${DVIPS} -o $@ $<
73
74
75 html : ${PACKAGE}.html ${PACKAGE}/${PACKAGE}_toc.html
76
77 ${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
78         cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -monolithic ${PACKAGE}.texi
79
80 ${PACKAGE}/${PACKAGE}_toc.html : ${srcdir}/${PACKAGE}.texi
81         cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -split_chapter ${PACKAGE}.texi
82
83
84 install : all installdirs force
85         ${INSTALL_DATA} ${srcdir}/${PACKAGE}.info ${DESTDIR}${infodir}/${PACKAGE}.info
86         @if (install-info --version && \
87              install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
88           echo " install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info";\
89           install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info || :;\
90         else : ; fi
91         ${INSTALL_DATA} ${srcdir}/${PACKAGE}/${PACKAGE}*.html ${DESTDIR}${htmldir}
92         ${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi
93
94 installdirs : force
95         ${MKDIR} ${DESTDIR}${datadir}
96         ${MKDIR} ${DESTDIR}${infodir}
97         ${MKDIR} ${DESTDIR}${htmldir}
98         ${MKDIR} ${DESTDIR}${dvidir}
99
100 uninstall : force
101         @if (install-info --version && \
102              install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
103           echo " install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info"; \
104           install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info; \
105         else :; fi
106         ${RM} ${DESTDIR}${infodir}/${PACKAGE}.info
107         ${RM} ${DESTDIR}${htmldir}/${PACKAGE}_*.html
108         ${RM} ${DESTDIR}${dvidir}/${PACKAGE}.dvi
109
110 check : all
111
112 mostlyclean : clean
113
114 clean : force
115         ${RM} *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
116
117 distclean : clean
118         ${RM} Makefile
119
120 maintainer-clean : distclean
121         ${RM} *.info *.dvi *.ps *.html
122         ${RM_R} cln/
123         if [ -f ${PACKAGE}.tex ] ; then ${RM} ${PACKAGE}.texi ; fi
124
125 force :
126