X-Git-Url: https://ginac.de/CLN/cln.git//cln.git?a=blobdiff_plain;f=doc%2FMakefile.in;h=cab75eb81ed466c1e1ac94546f0c91c93f346a0d;hb=7d93d4d6699427362004ba8998ca0b52c898f129;hp=fd3902cde47986eefb6b61f6d40704d73b0f8129;hpb=bae52a8fac7b77a4e252483eb81a8fd71c55fd6f;p=cln.git

diff --git a/doc/Makefile.in b/doc/Makefile.in
index fd3902c..cab75eb 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -9,14 +9,18 @@ srcdir = @srcdir@
 prefix = @prefix@
 local_prefix = /usr/local
 exec_prefix = @exec_prefix@
+datarootdir = @datarootdir@
 datadir = @datadir@
 infodir = @infodir@
 mandir = @mandir@
-htmldir = $(datadir)/html
-dvidir = $(datadir)/dvi
+htmldir = ${datadir}/html
+dvidir = ${datadir}/dvi
+DESTDIR =
 
 # Programs used by "make":
 RM = rm -f
+RM_R = rm -rf
+MKDIR = mkdir -p
 @SET_MAKE@
 
 # Programs used by "make" if you have changed the documentation files:
@@ -25,7 +29,6 @@ TEXI2DVI = texi2dvi
 DVIPS = dvips -D600
 MAKEINFO = LANGUAGE= makeinfo
 TEXI2HTML = texi2html
-EMACS = emacs
 
 # Programs used by "make install":
 INSTALL = @INSTALL@
@@ -38,78 +41,77 @@ PACKAGE = cln
 
 SHELL = /bin/sh
 
-VPATH = $(srcdir)
+VPATH = ${srcdir}
 
 all : info dvi ps html
 
 
-info : $(srcdir)/$(PACKAGE).info
+info : ${srcdir}/${PACKAGE}.info
 
-$(srcdir)/$(PACKAGE).info : $(srcdir)/$(PACKAGE).texi
-	cd $(srcdir) && $(MAKEINFO) --no-split $(PACKAGE).texi
+${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
+	cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
 
-$(srcdir)/$(PACKAGE).texi : $(srcdir)/$(PACKAGE).tex
-	cp $< $@
-	$(EMACS) -batch $@ -load addnodes.el -f save-buffer
-	mv $@ $@~
-	sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
-	$(RM) $@~
 
+dvi : ${srcdir}/${PACKAGE}.dvi
 
-dvi : $(srcdir)/$(PACKAGE).dvi
+${srcdir}/${PACKAGE}.dvi : ${srcdir}/${PACKAGE}.texi
+	cd ${srcdir} && ${TEXI2DVI} ${PACKAGE}.texi
 
-$(srcdir)/$(PACKAGE).dvi : $(srcdir)/$(PACKAGE).texi
-	cd $(srcdir) && $(TEXI2DVI) $(PACKAGE).texi
 
+ps : ${srcdir}/${PACKAGE}.ps
 
-ps : $(srcdir)/$(PACKAGE).ps
+${srcdir}/${PACKAGE}.ps : ${srcdir}/${PACKAGE}.dvi
+	${DVIPS} -o $@ $<
 
-$(srcdir)/$(PACKAGE).ps : $(srcdir)/$(PACKAGE).dvi
-	$(DVIPS) -o $@ $<
 
+html : ${PACKAGE}.html ${PACKAGE}/${PACKAGE}.html
 
-html : $(PACKAGE).html $(PACKAGE)_toc.html
+${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
+	cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -monolithic ${PACKAGE}.texi
 
-$(PACKAGE).html : $(srcdir)/$(PACKAGE).texi
-	cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
+${PACKAGE}/${PACKAGE}.html : ${srcdir}/${PACKAGE}.texi
+	cd ${srcdir} && ${TEXI2HTML} -expandinfo -number -split_chapter ${PACKAGE}.texi
 
-$(PACKAGE)_toc.html : $(srcdir)/$(PACKAGE).texi
-	cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
 
-
-install : all force
-	if [ ! -d $(datadir) ] ; then mkdir $(datadir) ; fi
-	if [ ! -d $(infodir) ] ; then mkdir $(infodir) ; fi
-	$(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(infodir)/$(PACKAGE).info
-	if [ ! -d $(htmldir) ] ; then mkdir $(htmldir) ; fi
-	$(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(htmldir)
-	if [ ! -d $(dvidir) ] ; then mkdir $(dvidir) ; fi
-	$(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(dvidir)/$(PACKAGE).dvi
+install : all installdirs force
+	${INSTALL_DATA} ${srcdir}/${PACKAGE}.info ${DESTDIR}${infodir}/${PACKAGE}.info
+	@if (install-info --version && \
+	     install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
+	  echo " install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info";\
+	  install-info --info-dir=${DESTDIR}${infodir} ${DESTDIR}${infodir}/${PACKAGE}.info || :;\
+	else : ; fi
+	${INSTALL_DATA} ${srcdir}/${PACKAGE}/${PACKAGE}*.html ${DESTDIR}${htmldir}
+	${INSTALL_DATA} ${srcdir}/${PACKAGE}.dvi ${DESTDIR}${dvidir}/${PACKAGE}.dvi
 
 installdirs : force
-	if [ ! -d $(datadir) ] ; then mkdir $(datadir) ; fi
-	if [ ! -d $(infodir) ] ; then mkdir $(infodir) ; fi
-	if [ ! -d $(htmldir) ] ; then mkdir $(htmldir) ; fi
-	if [ ! -d $(dvidir) ] ; then mkdir $(dvidir) ; fi
+	${MKDIR} ${DESTDIR}${datadir}
+	${MKDIR} ${DESTDIR}${infodir}
+	${MKDIR} ${DESTDIR}${htmldir}
+	${MKDIR} ${DESTDIR}${dvidir}
 
 uninstall : force
-	$(RM) $(infodir)/$(PACKAGE).info
-	$(RM) $(htmldir)/$(PACKAGE)_*.html
-	$(RM) $(dvidir)/$(PACKAGE).dvi
+	@if (install-info --version && \
+	     install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
+	  echo " install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info"; \
+	  install-info --info-dir=${DESTDIR}${infodir} --remove ${DESTDIR}${infodir}/${PACKAGE}.info; \
+	else :; fi
+	${RM} ${DESTDIR}${infodir}/${PACKAGE}.info
+	${RM} ${DESTDIR}${htmldir}/${PACKAGE}_*.html
+	${RM} ${DESTDIR}${dvidir}/${PACKAGE}.dvi
 
 check : all
 
 mostlyclean : clean
 
 clean : force
-	$(RM) *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
+	${RM} *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
 
 distclean : clean
-	$(RM) Makefile
+	${RM} Makefile
 
 maintainer-clean : distclean
-	$(RM) *.info *.dvi *.ps *.html
-	if [ -f $(PACKAGE).tex ] ; then $(RM) $(PACKAGE).texi ; fi
+	${RM} *.info *.dvi *.ps *.html
+	${RM_R} cln/
 
 force :