From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 21 Mar 2003 18:06:55 +0000 (+0000)
Subject: bugfix: takes doc from "doc" dir
X-Git-Tag: before_refactoring~93
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=61439c5faa2925517b208761c3861880ccabe945;hp=61439c5faa2925517b208761c3861880ccabe945;p=helm.git

bugfix: takes doc from "doc" dir
---