From 9b32497f41e271c3d4e7a127042b02ef9795b102 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 18 Oct 2013 10:58:14 -0400 Subject: [PATCH] Split out `redex-gui-lib` and `redex-pict-lib` packages. original commit: 0f0920bd5c927b38c3c61bcab3a1e15e461f71b2 --- pkgs/gui-pkgs/gui-lib/info.rkt | 1 + pkgs/gui-pkgs/tex-table/info.rkt | 8 ++++++++ pkgs/gui-pkgs/{gui-lib/mrlib => tex-table}/tex-table.rkt | 0 .../{redex-lib => redex-gui-lib}/redex/private/dot.rkt | 0 4 files changed, 9 insertions(+) create mode 100644 pkgs/gui-pkgs/tex-table/info.rkt rename pkgs/gui-pkgs/{gui-lib/mrlib => tex-table}/tex-table.rkt (100%) rename pkgs/redex-pkgs/{redex-lib => redex-gui-lib}/redex/private/dot.rkt (100%) diff --git a/pkgs/gui-pkgs/gui-lib/info.rkt b/pkgs/gui-pkgs/gui-lib/info.rkt index 04ec02a9..8bceff5a 100644 --- a/pkgs/gui-pkgs/gui-lib/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/info.rkt @@ -16,6 +16,7 @@ "unstable-options-lib" "unstable-2d" "compatibility-lib" + "tex-table" ("gui-i386-macosx" #:platform "i386-macosx") ("gui-x86_64-macosx" #:platform "x86_64-macosx") ("gui-ppc-macosx" #:platform "ppc-macosx") diff --git a/pkgs/gui-pkgs/tex-table/info.rkt b/pkgs/gui-pkgs/tex-table/info.rkt new file mode 100644 index 00000000..63be2981 --- /dev/null +++ b/pkgs/gui-pkgs/tex-table/info.rkt @@ -0,0 +1,8 @@ +#lang info + +(define deps '("base")) +(define collection "mrlib") + +(define pkg-desc "Table of TeX-style abbreviations") + +(define pkg-authors '(robby)) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/tex-table.rkt b/pkgs/gui-pkgs/tex-table/tex-table.rkt similarity index 100% rename from pkgs/gui-pkgs/gui-lib/mrlib/tex-table.rkt rename to pkgs/gui-pkgs/tex-table/tex-table.rkt diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/dot.rkt b/pkgs/redex-pkgs/redex-gui-lib/redex/private/dot.rkt similarity index 100% rename from pkgs/redex-pkgs/redex-lib/redex/private/dot.rkt rename to pkgs/redex-pkgs/redex-gui-lib/redex/private/dot.rkt