Commit a2ab6981 authored by Gérard Huet's avatar Gérard Huet

Version 3.10 with external Zen library

parent b39a695e
......@@ -681,7 +681,7 @@ distr_automata: # distribution of data derived from Heritage Dictionary
distrib: # distribution of Heritage under HTML & PDF formats
$(MAKE) distr_automata
cp -p SETUP/zen.tar DISTR/SETUP # Zen toolkit distribution included
# cp -p SETUP/zen.tar DISTR/SETUP # Zen toolkit distribution not included
# DICO is assumed to be customized for the distribution site
cp -Rp $(DICO) DISTR # Hypertext Heritage Dictionary for browsing
mkdir DISTR/BOOK
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment