Author: paul
Date: 2007-06-15 20:35:26 +0200 (Fri, 15 Jun 2007)
New Revision: 6817
Log:
r26506@polar: paul | 2007-06-15 13:34:46 -0500
spell-check.pl: Fix options so they can take arguments.
xml-valid: Pass language and dicts dir to spell-check.pl.
Modified:
trunk/make.d/xml-valid
trunk/tools/spell-check.pl
Property changes on: trunk
___________________________________________________________________
Name: svk:merge
- 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:26500
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:21684
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:18307
+ 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:26506
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:21684
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:18307
Modified: trunk/make.d/xml-valid
===================================================================
--- trunk/make.d/xml-valid 2007-06-15 17:01:00 UTC (rev 6816)
+++ trunk/make.d/xml-valid 2007-06-15 18:35:26 UTC (rev 6817)
Changed blocks: 1, Lines Added: 1, Lines Deleted: 1; 399 bytes
@@ -30,7 +30,7 @@
$(DEEP_CHECK) --checkulink $<
%.spell: %-prepped.xml
- $(SPELL_CHECK) $<
+ $(SPELL_CHECK) --lang=$(DOC_LANG) --dictbase=$(REPO_ROOT)/dicts $<
ifdef IDMAP_REFS
Modified: trunk/tools/spell-check.pl
===================================================================
--- trunk/tools/spell-check.pl 2007-06-15 17:01:00 UTC (rev 6816)
+++ trunk/tools/spell-check.pl 2007-06-15 18:35:26 UTC (rev 6817)
Changed blocks: 1, Lines Added: 2, Lines Deleted: 2; 482 bytes
@@ -14,8 +14,8 @@
my ($lang,$dictbase,$help) = ('en','../dicts',0);
-GetOptions("lang" => \$lang,
- "dictbase" => \$dictbase,
+GetOptions("lang=s" => \$lang,
+ "dictbase=s" => \$dictbase,
"help" => \$help,
);
| Thread |
|---|
| • svn commit - mysqldoc@docsrva: r6817 - in trunk: . make.d tools | paul | 15 Jun |
