Commit 89ae184c authored by Gérard Huet's avatar Gérard Huet

Addition tasil sarvatas; bahuvrihi -naaman, to get mas devadattanaamaa puru.sa.h

parent 16ccfda5
......@@ -8,4 +8,4 @@
(**************************************************************************)
(* Generated by make version - see main Makefile *)
value version="3.08" and version_date="2018-06-20";
value version="3.08" and version_date="2018-06-24";
......@@ -798,8 +798,8 @@ export SERVERCORPUS
export-corpus: # ???
$(MAKE) -C $(SKTRESOURCES) commit-corpus
# saving corpus acquisitions
# saving corpus acquisitions - to be refined for incrementality
commit-corpus:
cp -R $(SERVERCORPUS) $(SKTRESOURCES)
cp -Rp $(SERVERCORPUS) $(SKTRESOURCES)
# TODO: git add des nouvelles citations, git commit, git push
VERSION='3.08'
DATE='2018-06-20'
DATE='2018-06-24'
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