From c6f4edaea5f1074ba682fac5d711016f0136998f Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Wed, 4 Jul 2018 10:09:58 +0200 Subject: Remove examples directory; these now live in gf-contrib All changes have been reflected in the gf-contrib repository: https://github.com/GrammaticalFramework/gf-contrib Now, for WebSetup to build the example grammars, one must have gf-contrib cloned in the same top-level directory as GF. When this isn't the case, WebSetup displays a notice without failing. --- examples/phrasebook/GreetingsSpa.gf | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 examples/phrasebook/GreetingsSpa.gf (limited to 'examples/phrasebook/GreetingsSpa.gf') diff --git a/examples/phrasebook/GreetingsSpa.gf b/examples/phrasebook/GreetingsSpa.gf deleted file mode 100644 index d0b39abd9..000000000 --- a/examples/phrasebook/GreetingsSpa.gf +++ /dev/null @@ -1,31 +0,0 @@ -concrete GreetingsSpa of Greetings = SentencesSpa [Greeting,mkGreeting] ** open Prelude in { - -flags coding = utf8 ; - -lin - GBye = mkGreeting "adiós" ; - GCheers = mkGreeting "salud" ; - GDamn = mkGreeting "joder" ; - GExcuse = mkGreeting "perdón" ; - GExcusePol = mkGreeting "perdone" ; - GCongratulations = mkGreeting "felicitaciones" ; - GGoodLuck = mkGreeting "buena suerte" ; - GHappyBirthday = mkGreeting "feliz cumpleaños" ; - GGoodMorning, GGoodDay = mkGreeting "buenos días" ; - GGoodEvening = mkGreeting "buenas tardes" ; - GGoodNight = mkGreeting "buenas noches" ; - GGoodbye = mkGreeting "hasta luego" ; - GHello = mkGreeting "hola" ; - GHelp = mkGreeting "socorro" ; - GHowAreYou = mkGreeting "cómo está¡" ; -- the polite singular "you" - GLookOut = mkGreeting "atención" ; - GNiceToMeetYou = mkGreeting "encantado de conocerle" ; -- the polite singular "you" - GPleaseGive, GPleaseGivePol = mkGreeting "por favor" ; - GSeeYouSoon = mkGreeting "nos vemos pronto" ; - GSorry = mkGreeting "disculpa" ; - GSorryPol = mkGreeting "disculpe" ; - GThanks = mkGreeting "gracias" ; - GTheCheck = mkGreeting "la cuenta" ; - GWhatTime = mkGreeting "qué ora es" ; - -} -- cgit v1.2.3