diff options
Diffstat (limited to 'next-lib/src')
| -rw-r--r-- | next-lib/src/Make.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/next-lib/src/Make.hs b/next-lib/src/Make.hs index e885bd9c9..fd9449b41 100644 --- a/next-lib/src/Make.hs +++ b/next-lib/src/Make.hs @@ -109,7 +109,7 @@ make xx = do gf (demos "Demo" ls) $ unwords ["demo/Demo" ++ la ++ ".gf" | (_,la) <- ls] ifxx "parse" $ do mapM_ (gfc pres [] . parse) (optl langsParse) - copy "parse/*.gfo" dir + copy "parse/*.gfo parse/oald/*.gfo" dir ifxx "clean" $ do system "rm -f */*.gfo ../alltenses/*.gfo ../present/*.gfo" ifxx "clone" $ do |