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
34 # Programs used by "make install":
36 INSTALL_PROGRAM = @INSTALL_PROGRAM@
37 INSTALL_DATA = @INSTALL_DATA@
39 #### End of system configuration section. ####
47 all : info dvi ps html
50 info : ${srcdir}/${PACKAGE}.info
52 ${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
53 cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
55 ${srcdir}/${PACKAGE}.texi : ${srcdir}/${PACKAGE}.tex
57 ${EMACS} -batch $@ -load addnodes.el -f save-buffer
59 sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
63 dvi : ${srcdir}/${PACKAGE}.dvi
65 ${srcdir}/${PACKAGE}.dvi : ${srcdir}/${PACKAGE}.texi
66 cd ${srcdir} && ${TEXI2DVI} ${PACKAGE}.texi
69 ps : ${srcdir}/${PACKAGE}.ps
71 ${srcdir}/${PACKAGE}.ps : ${srcdir}/${PACKAGE}.dvi
75 html : ${PACKAGE}.html ${PACKAGE}/${PACKAGE}_toc.html
77 ${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
78 cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -monolithic ${PACKAGE}.texi
80 ${PACKAGE}/${PACKAGE}_toc.html : ${srcdir}/${PACKAGE}.texi
81 cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -split_chapter ${PACKAGE}.texi
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 || :;\
91 ${INSTALL_DATA} ${srcdir}/${PACKAGE}/${PACKAGE}*.html ${DESTDIR}${htmldir}
92 ${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi
95 ${MKDIR} ${DESTDIR}${datadir}
96 ${MKDIR} ${DESTDIR}${infodir}
97 ${MKDIR} ${DESTDIR}${htmldir}
98 ${MKDIR} ${DESTDIR}${dvidir}
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; \
106 ${RM} ${DESTDIR}${infodir}/${PACKAGE}.info
107 ${RM} ${DESTDIR}${htmldir}/${PACKAGE}_*.html
108 ${RM} ${DESTDIR}${dvidir}/${PACKAGE}.dvi
115 ${RM} *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
120 maintainer-clean : distclean
121 ${RM} *.info *.dvi *.ps *.html
123 if [ -f ${PACKAGE}.tex ] ; then ${RM} ${PACKAGE}.texi ; fi