From: Enrico Tassi Date: Wed, 23 May 2007 14:13:22 +0000 (+0000) Subject: makefile reworked to make debian package possible X-Git-Tag: make_still_working~6316 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2231f2820190c8743854004a9efd902d3bb5baa4;p=helm.git makefile reworked to make debian package possible --- diff --git a/helm/software/Makefile b/helm/software/Makefile index dfd4b5834..68921815a 100644 --- a/helm/software/Makefile +++ b/helm/software/Makefile @@ -30,11 +30,13 @@ endif clean: $(foreach d,$(SUBDIRS),rec@clean@$(d)) distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d)) $(H)rm -rf .matita library-stamp depend-stamp -install: $(foreach d,$(SUBDIRS),rec@install@$(d)) +install-indep: $(foreach d,$(SUBDIRS),rec@install-indep@$(d)) +install-arch: $(foreach d,$(SUBDIRS),rec@install-arch@$(d)) +install: install-indep install-arch uninstall: $(foreach d,$(SUBDIRS),rec@uninstall@$(d)) rec@%: - $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) + $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(shell pwd)/$(DESTDIR) # {{{ Distribution stuff @@ -94,7 +96,7 @@ dist_export: dist/configure $(MAKE) -C matita/help/C/ install DESTDIR=$(CURDIR)/$(DISTDIR)/docs/manual/ dist_mktarball: tar czf $(DISTDIR).tar.gz $(DISTDIR) - tar cjf $(DISTDIR).tar.bz2 $(DISTDIR) + #tar cjf $(DISTDIR).tar.bz2 $(DISTDIR) rm -rf $(DISTDIR) dist_extract: diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index 1b38db7e7..6e483a972 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -55,7 +55,8 @@ syntax-extensions: $(H)$(MAKE) -C syntax_extensions depend: syntax-extensions $(MODULES:%=rec@depend@%) depend.opt: syntax-extensions $(MODULES:%=rec@depend.opt@%) -install: $(MODULES:%=rec@install@%) +install-arch: $(MODULES:%=rec@install@%) +install-indep: uninstall: $(MODULES:%=rec@uninstall@%) clean: $(MODULES:%=rec@clean@%) clean_metas diff --git a/helm/software/matita/.depend.opt b/helm/software/matita/.depend.opt index fd3810b97..fc9df5c02 100644 --- a/helm/software/matita/.depend.opt +++ b/helm/software/matita/.depend.opt @@ -1,21 +1,15 @@ applyTransformation.cmo: applyTransformation.cmi applyTransformation.cmx: applyTransformation.cmi -buildTimeConf.cmo: buildTimeConf.cmi -buildTimeConf.cmx: buildTimeConf.cmi -dump_moo.cmo: buildTimeConf.cmi -dump_moo.cmx: buildTimeConf.cmx -gragrep.cmo: matitaInit.cmi buildTimeConf.cmi gragrep.cmi -gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi +gragrep.cmo: matitaInit.cmi gragrep.cmi +gragrep.cmx: matitaInit.cmx gragrep.cmi lablGraphviz.cmo: lablGraphviz.cmi lablGraphviz.cmx: lablGraphviz.cmi matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi matitacLib.cmo: matitamakeLib.cmi matitaMisc.cmi matitaInit.cmi \ - matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmi \ - applyTransformation.cmi matitacLib.cmi + matitaExcPp.cmi matitaEngine.cmi applyTransformation.cmi matitacLib.cmi matitacLib.cmx: matitamakeLib.cmx matitaMisc.cmx matitaInit.cmx \ - matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx \ - applyTransformation.cmx matitacLib.cmi + matitaExcPp.cmx matitaEngine.cmx applyTransformation.cmx matitacLib.cmi matitac.cmo: matitaprover.cmi matitamake.cmi matitadep.cmi matitaclean.cmi \ matitacLib.cmi matitaWiki.cmx matitaInit.cmi matitaEngine.cmi gragrep.cmi matitac.cmx: matitaprover.cmx matitamake.cmx matitadep.cmx matitaclean.cmx \ @@ -26,54 +20,48 @@ matitaEngine.cmo: matitaEngine.cmi matitaEngine.cmx: matitaEngine.cmi matitaExcPp.cmo: matitaExcPp.cmi matitaExcPp.cmx: matitaExcPp.cmi -matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmx buildTimeConf.cmi \ - matitaGtkMisc.cmi -matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ - matitaGtkMisc.cmi +matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmx matitaGtkMisc.cmi +matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi matitaGui.cmo: matitaprover.cmi matitamakeLib.cmi matitaTypes.cmi \ matitaScript.cmi matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \ - matitaGeneratedGui.cmx matitaExcPp.cmi buildTimeConf.cmi matitaGui.cmi + matitaGeneratedGui.cmx matitaExcPp.cmi matitaGui.cmi matitaGui.cmx: matitaprover.cmx matitamakeLib.cmx matitaTypes.cmx \ matitaScript.cmx matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \ - matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi -matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi -matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi -matitamakeLib.cmo: buildTimeConf.cmi matitamakeLib.cmi -matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi + matitaGeneratedGui.cmx matitaExcPp.cmx matitaGui.cmi +matitaInit.cmo: matitamakeLib.cmi matitaInit.cmi +matitaInit.cmx: matitamakeLib.cmx matitaInit.cmi +matitamakeLib.cmo: matitamakeLib.cmi +matitamakeLib.cmx: matitamakeLib.cmi matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi matitaMathView.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \ matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ - lablGraphviz.cmi buildTimeConf.cmi applyTransformation.cmi \ - matitaMathView.cmi + lablGraphviz.cmi applyTransformation.cmi matitaMathView.cmi matitaMathView.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \ matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \ - lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \ - matitaMathView.cmi -matitaMisc.cmo: buildTimeConf.cmi matitaMisc.cmi -matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi + lablGraphviz.cmx applyTransformation.cmx matitaMathView.cmi +matitaMisc.cmo: matitaMisc.cmi +matitaMisc.cmx: matitaMisc.cmi matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \ - matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmi \ - applyTransformation.cmi + matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi applyTransformation.cmi matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ - applyTransformation.cmx + matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx applyTransformation.cmx matitaprover.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \ - buildTimeConf.cmi matitaprover.cmi + matitaprover.cmi matitaprover.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \ - buildTimeConf.cmx matitaprover.cmi + matitaprover.cmi matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmi \ - applyTransformation.cmi matitaScript.cmi + matitaGtkMisc.cmi matitaEngine.cmi applyTransformation.cmi \ + matitaScript.cmi matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \ - applyTransformation.cmx matitaScript.cmi + matitaGtkMisc.cmx matitaEngine.cmx applyTransformation.cmx \ + matitaScript.cmi matitaTypes.cmo: matitaTypes.cmi matitaTypes.cmx: matitaTypes.cmi matitaWiki.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \ - buildTimeConf.cmi applyTransformation.cmi + applyTransformation.cmi matitaWiki.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \ - buildTimeConf.cmx applyTransformation.cmx + applyTransformation.cmx matitaGtkMisc.cmi: matitaGeneratedGui.cmx matitaGui.cmi: matitaGuiTypes.cmi matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmx diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 48d4e8af8..395ede875 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -24,48 +24,50 @@ ifeq ($(NODB),true) MATITA_FLAGS += -nodb endif -# objects for matita (GTK GUI) -CMOS = \ - buildTimeConf.cmo \ - lablGraphviz.cmo \ - matitaTypes.cmo \ - matitaMisc.cmo \ - matitamakeLib.cmo \ - matitaInit.cmo \ - matitaExcPp.cmo \ - matitaEngine.cmo \ - applyTransformation.cmo \ - matitacLib.cmo \ - matitaprover.cmo \ - matitaGtkMisc.cmo \ - matitaScript.cmo \ - matitaGeneratedGui.cmo \ - matitaMathView.cmo \ - matitaGui.cmo \ +MLI = \ + lablGraphviz.mli \ + matitaTypes.mli \ + matitaMisc.mli \ + matitamakeLib.mli \ + matitaInit.mli \ + matitaExcPp.mli \ + matitaEngine.mli \ + applyTransformation.mli \ + matitacLib.mli \ + matitaprover.mli \ + matitaGtkMisc.mli \ + matitaScript.mli \ + matitaMathView.mli \ + matitaGui.mli \ matitaAutoGui.cmo \ $(NULL) -# objects for matitac (batch compiler) -CCMOS = \ - buildTimeConf.cmo \ - matitaTypes.cmo \ - matitaMisc.cmo \ - matitamakeLib.cmo \ - matitaInit.cmo \ - matitaExcPp.cmo \ - matitaEngine.cmo \ - applyTransformation.cmo \ - matitacLib.cmo \ - matitaWiki.cmo \ - matitaprover.cmo \ +CMLI = \ + matitaTypes.mli \ + matitaMisc.mli \ + matitamakeLib.mli \ + matitaInit.mli \ + matitaExcPp.mli \ + matitaEngine.mli \ + applyTransformation.mli \ + matitacLib.mli \ + matitaWiki.mli \ + matitaprover.mli \ $(NULL) -MAINCMOS = \ - matitadep.cmo \ - matitaclean.cmo \ - matitamake.cmo \ - gragrep.cmo \ +MAINCMLI = \ + matitadep.mli \ + matitaclean.mli \ + matitamake.mli \ + gragrep.mli \ $(NULL) +# objects for matita (GTK GUI) +ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml) +# objects for matitac (batch compiler) +CML = buildTimeConf.ml $(CMLI:%.mli=%.ml) +MAINCML = $(MAINCMLI:%.mli=%.ml) + PROGRAMS_BYTE = \ - matita matitac cicbrowser matitadep matitaclean matitamake matitaprover matitawiki + matita matitac cicbrowser matitadep matitaclean \ + matitamake matitaprover matitawiki PROGRAMS = $(PROGRAMS_BYTE) matitatop PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE)) NOINST_PROGRAMS = dump_moo gragrep @@ -73,29 +75,16 @@ NOINST_PROGRAMS_OPT = $(patsubst %,%.opt,$(EXTRA_PROGRAMS)) .PHONY: all all: $(PROGRAMS) $(NOINST_PROGRAMS) -# all: matita.conf.xml $(PROGRAMS) coq.moo - -# matita.conf.xml: matita.conf.xml.sample -# $(H)if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\ -# touch matita.conf.xml;\ -# else\ -# echo;\ -# echo "matita.conf.xml.sample is newer than matita.conf.xml";\ -# echo;\ -# echo "PLEASE update your configuration file!";\ -# echo "(copying matita.conf.xml.sample should work)";\ -# echo;\ -# false;\ -# fi - -# coq.moo: library/legacy/coq.ma matitac -# ./matitac $(MATITA_FLAGS) $< -# coq.moo.opt: library/legacy/coq.ma matitac.opt -# ./matitac.opt $(MATITA_FLAGS) $< +CMOS = $(ML:%.ml=%.cmo) +CCMOS = $(CML:%.ml=%.cmo) +MAINCMOS = $(MAINCML:%.ml=%.cmo) CMXS = $(patsubst %.cmo,%.cmx,$(CMOS)) CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS)) MAINCMXS = $(patsubst %.cmo,%.cmx,$(MAINCMOS)) +$(CMOS): $(LIB_DEPS) +$(CMXOS): $(LIBX_DEPS) + LIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_REQUIRES)) LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_REQUIRES)) CLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_CREQUIRES)) @@ -185,10 +174,8 @@ cicbrowser: matita cicbrowser.opt: matita.opt $(H)test -f $@ || ln -s $< $@ -matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade +matitaGeneratedGui.ml: matita.glade $(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml - $(H)rm -f matitaGeneratedGui.mli - $(H)#$(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli .PHONY: clean clean: @@ -197,6 +184,7 @@ clean: $(NOINST_PROGRAMS) $(NOINST_PROGRAMS_OPT) \ $(PROGRAMS_STATIC) \ $(PROGRAMS_UPX) \ + *.stamp \ $(NULL) .PHONY: distclean @@ -243,22 +231,28 @@ cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt) ifeq ($(DISTRIBUTED),yes) -dist_library: dist_library@standard-library -dist_library@%: + +MATITA_CFLAGS = #-nodb + +dist_library: install_preliminaries dist_library@standard-library +dist_library@%: $(H)echo "MATITAMAKE init $*" - $(H)(cd $(DESTDIR) && ./matitamake init $* $(DESTDIR)/ma/$*) + $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake init $* $(WHERE)/ma/$*) $(H)echo "MATITAMAKE publish $*" - $(H)(cd $(DESTDIR) && ./matitamake publish $*) + $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake publish $*) $(H)echo "MATITAMAKE destroy $*" - $(H)(cd $(DESTDIR) && ./matitamake destroy $*) + $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake destroy $*) + # sqlite3 only + $(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true + #$(H)rm -rf $(WHERE)/.matita/ touch $@ endif -dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli +dist_pre: matitaGeneratedGui.ml $(MAKE) -C dist/ dist_pre -DESTDIR = $(RT_BASE_DIR) +WHERE = $(DESTDIR)/$(RT_BASE_DIR) INSTALL_STUFF = \ icons/ \ help/ \ @@ -280,30 +274,32 @@ else INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS) endif -install: install_preliminaries dist_library install_conclusion +install-arch: install_preliminaries +install-indep: dist_library -install_preliminaries: - install -d $(DESTDIR)/ma/ - cp -a $(INSTALL_STUFF) $(DESTDIR) +install_preliminaries : install_preliminaries.stamp + +install_preliminaries.stamp: + $(H)install -d $(WHERE)/ma/ + $(H)cp -a $(INSTALL_STUFF) $(WHERE) ifeq ($(HAVE_OCAMLOPT),yes) - install -s $(INSTALL_STUFF_BIN) $(DESTDIR) - for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(DESTDIR)/$$p; done + $(H)install -s $(INSTALL_STUFF_BIN) $(WHERE) + $(H)for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(WHERE)/$$p; done else - install $(INSTALL_STUFF_BIN) $(DESTDIR) + $(H)install $(INSTALL_STUFF_BIN) $(WHERE) endif - for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \ - ln -fs matitac $(DESTDIR)/$$p;\ + $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \ + ln -fs matitac $(WHERE)/$$p;\ done - for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \ - ln -fs matita $(DESTDIR)/$$p;\ + $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \ + ln -fs matita $(WHERE)/$$p;\ done - cp -a library/ $(DESTDIR)/ma/standard-library - cp -a contribs/ $(DESTDIR)/ma/ - -install_conclusion: + $(H)cp -a library/ $(WHERE)/ma/standard-library + $(H)cp -a contribs/ $(WHERE)/ma/ + $(H)touch install_preliminaries.stamp uninstall: - rm -rf $(DESTDIR) + $(H)rm -rf $(WHERE) STATIC_LINK = dist/static_link/static_link # for matita @@ -386,19 +382,18 @@ cicbrowser.opt.static.upx: matita.opt.static.upx # }}} End of distribution stuff +# {{{ Deps and automatic rules tags: TAGS .PHONY: TAGS TAGS: $(H)cd ..; otags -vi -r components/ matita/ -#.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli - .PHONY: depend -depend: +depend: $(H)echo " OCAMLDEP" - $(H)$(OCAMLDEP) *.ml *.mli > .depend -depend.opt: + $(H)$(OCAMLDEP) > .depend +depend.opt: $(H)echo " OCAMLDEP -native" $(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt @@ -414,6 +409,10 @@ ifeq ($(MAKECMDGOALS), opt) include .depend.opt endif +ifeq ($(MAKECMDGOALS), world) + include .depend.opt +endif + %.cmi: %.mli $(H)echo " OCAMLC $<" $(H)$(OCAMLC) $(PKGS) -c $< @@ -427,22 +426,11 @@ endif $(H)echo " OCAMLC -dtypes $<" $(H)$(OCAMLC) -dtypes $(PKGS) -c $< -$(CMOS): $(LIB_DEPS) -$(CMOS:%.cmo=%.cmx): $(LIBX_DEPS) - deps.ps: deps.dot dot -Tps -o $@ $< deps.dot: .depend ./dep2dot.rb < $< | tred > $@ -ifeq ($(MAKECMDGOALS),all) - $(CMOS:%.cmo=%.cmi): $(LIB_DEPS) -endif -ifeq ($(MAKECMDGOALS),) - $(CMOS:%.cmo=%.cmi): $(LIB_DEPS) -endif -ifeq ($(MAKECMDGOALS),opt) - $(CMOS:%.cmo=%.cmi): $(LIBX_DEPS) -endif +# }}} End of deps and automatic rules # vim: set foldmethod=marker: diff --git a/helm/software/matita/buildTimeConf.mli b/helm/software/matita/buildTimeConf.mli deleted file mode 100644 index 78d0df0e8..000000000 --- a/helm/software/matita/buildTimeConf.mli +++ /dev/null @@ -1,53 +0,0 @@ -(* Copyright (C) 2006, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://helm.cs.unibo.it/ - *) - -(* $Id$ *) - -val base_uri : string -val blank_uri : string -val browser_history_size : int -val closed_xml : string -val console_history_size : int -val core_notation_script : string -val current_proof_uri : string -val debug : bool -val default_font_size : int -val gtkmathview_conf : string -val gtkrc_file : string -val help_dir : string -val images_dir : string -val lang_file : string -val matita_conf : string -val matitamake_makefile_template : string -val matitamake_makefile_template_devel : string -val phrase_sep : string -val runtime_base_dir : string -val script_font : string -val script_template : string -val stdlib_dir_devel : string -val stdlib_dir_installed : string -val undo_history_size : int -val version : string - diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile index 2ca1a16b1..491bae61b 100644 --- a/helm/software/matita/help/C/Makefile +++ b/helm/software/matita/help/C/Makefile @@ -52,8 +52,9 @@ TXTS = $(patsubst %.html,%.txt,$(wildcard *.html)) .PHONY: txt txt: txt-stamp txt-stamp: html-stamp - $(MAKE) $(TXTS) + $(MAKE) txt-stamp-rec touch $@ +txt-stamp-rec: $(TXTS) %.txt: %.html w3m -dump -no-graph $< > $@