]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/bin/xhtbl/Makefile
bugfix in Makefiles
[helm.git] / helm / www / lambda_delta / bin / xhtbl / Makefile
index 83fa1ba12ac0cb1bbeb6f00581c2d9b242d854b3..7aa0f23902be61b448427d80ede02f59df50af9b 100644 (file)
@@ -18,7 +18,7 @@ HOMEDIR = ../../
 TBLDIRS = $(SRCDIR) $(ETCDIR)
 
 LDWS  = $(shell find $(SRCDIR) -name "*.ldw.xml")
-TBLS  = $(shell find $(TBLDIRS) -name "*.tbl")
+TBLS  = $(shell find -L $(TBLDIRS) -name "*.tbl")
 XSLS  = xhtbl.xsl $(patsubst %.tbl, %.xsl, $(notdir $(TBLS)))
 HTMLS = $(patsubst %.ldw.xml, $(HOMEDIR)%.html, $(notdir $(LDWS)))
 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl