3 #### Start of system configuration section. ####
5 # Directories used by "make":
8 # Directories used by "make install":
10 local_prefix = /usr/local
11 exec_prefix = @exec_prefix@
12 datarootdir = @datarootdir@
16 htmldir = ${datadir}/html
17 dvidir = ${datadir}/dvi
20 # Programs used by "make":
26 # Programs used by "make" if you have changed the documentation files:
30 MAKEINFO = LANGUAGE= makeinfo
33 # Programs used by "make install":
35 INSTALL_PROGRAM = @INSTALL_PROGRAM@
36 INSTALL_DATA = @INSTALL_DATA@
38 #### End of system configuration section. ####
46 all : info dvi ps html
49 info : ${srcdir}/${PACKAGE}.info
51 ${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
52 cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
55 dvi : ${srcdir}/${PACKAGE}.dvi
57 ${srcdir}/${PACKAGE}.dvi : ${srcdir}/${PACKAGE}.texi
58 cd ${srcdir} && ${TEXI2DVI} ${PACKAGE}.texi
61 ps : ${srcdir}/${PACKAGE}.ps
63 ${srcdir}/${PACKAGE}.ps : ${srcdir}/${PACKAGE}.dvi
67 html : ${PACKAGE}.html ${PACKAGE}/${PACKAGE}_toc.html
69 ${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
70 cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -monolithic ${PACKAGE}.texi
72 ${PACKAGE}/${PACKAGE}_toc.html : ${srcdir}/${PACKAGE}.texi
73 cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -split_chapter ${PACKAGE}.texi
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 || :;\
83 ${INSTALL_DATA} ${srcdir}/${PACKAGE}/${PACKAGE}*.html ${DESTDIR}${htmldir}
84 ${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi
87 ${MKDIR} ${DESTDIR}${datadir}
88 ${MKDIR} ${DESTDIR}${infodir}
89 ${MKDIR} ${DESTDIR}${htmldir}
90 ${MKDIR} ${DESTDIR}${dvidir}
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; \
98 ${RM} ${DESTDIR}${infodir}/${PACKAGE}.info
99 ${RM} ${DESTDIR}${htmldir}/${PACKAGE}_*.html
100 ${RM} ${DESTDIR}${dvidir}/${PACKAGE}.dvi
107 ${RM} *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
112 maintainer-clean : distclean
113 ${RM} *.info *.dvi *.ps *.html