From e606d2cc503c53bae3ec08f5e0158d536794f20c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 11 Jul 2013 14:35:05 -0600 Subject: [PATCH] move `embedded-gui' docs from "gui-lib" to "gui-doc" original commit: 4ee8dc2f5ef4b91c99c40af6fb870c7b38af227b --- pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/info.rkt | 0 .../embedded-gui/scribblings/aligned-pasteboard.scrbl | 0 .../embedded-gui/scribblings/alignment-parent.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/alignment.scrbl | 0 .../embedded-gui/scribblings/button-snip.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/common.rkt | 0 .../embedded-gui/scribblings/containers.scrbl | 0 .../embedded-gui/scribblings/control-snips.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/controls.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/dllist.scrbl | 0 .../embedded-gui/scribblings/embedded-button.scrbl | 0 .../embedded-gui/scribblings/embedded-gui.scrbl | 0 .../embedded-gui/scribblings/embedded-message.scrbl | 0 .../embedded-gui/scribblings/embedded-text-button.scrbl | 0 .../embedded-gui/scribblings/embedded-toggle-button.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/hline.scrbl | 0 .../embedded-gui/scribblings/horizontal-alignment.scrbl | 0 .../embedded-gui/scribblings/snip-procs.scrbl | 0 .../embedded-gui/scribblings/snip-wrapper.scrbl | 0 .../embedded-gui/scribblings/stretchable-snip.scrbl | 0 .../embedded-gui/scribblings/text-button-snip.scrbl | 0 .../embedded-gui/scribblings/toggle-button-snip.scrbl | 0 .../embedded-gui/scribblings/vertical-alignment.scrbl | 0 .../{gui-lib => gui-doc}/embedded-gui/scribblings/vline.scrbl | 0 24 files changed, 0 insertions(+), 0 deletions(-) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/info.rkt (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/aligned-pasteboard.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/alignment-parent.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/alignment.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/button-snip.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/common.rkt (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/containers.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/control-snips.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/controls.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/dllist.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/embedded-button.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/embedded-gui.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/embedded-message.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/embedded-text-button.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/embedded-toggle-button.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/hline.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/horizontal-alignment.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/snip-procs.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/snip-wrapper.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/stretchable-snip.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/text-button-snip.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/toggle-button-snip.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/vertical-alignment.scrbl (100%) rename pkgs/gui-pkgs/{gui-lib => gui-doc}/embedded-gui/scribblings/vline.scrbl (100%) diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt b/pkgs/gui-pkgs/gui-doc/embedded-gui/info.rkt similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/info.rkt rename to pkgs/gui-pkgs/gui-doc/embedded-gui/info.rkt diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/aligned-pasteboard.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/aligned-pasteboard.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/aligned-pasteboard.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/aligned-pasteboard.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/alignment-parent.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment-parent.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/alignment-parent.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment-parent.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/alignment.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/alignment.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/button-snip.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/button-snip.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/button-snip.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/button-snip.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/common.rkt b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/common.rkt similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/common.rkt rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/common.rkt diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/containers.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/containers.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/containers.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/containers.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/control-snips.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/control-snips.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/control-snips.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/control-snips.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/controls.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/controls.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/controls.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/controls.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/dllist.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/dllist.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/dllist.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/dllist.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-button.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-button.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-button.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-button.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-gui.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-gui.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-gui.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-gui.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-message.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-message.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-message.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-message.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-text-button.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-text-button.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-text-button.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-text-button.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-toggle-button.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-toggle-button.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/embedded-toggle-button.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-toggle-button.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/hline.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/hline.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/hline.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/hline.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/horizontal-alignment.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/horizontal-alignment.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/horizontal-alignment.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/horizontal-alignment.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/snip-procs.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-procs.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/snip-procs.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-procs.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/snip-wrapper.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-wrapper.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/snip-wrapper.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-wrapper.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/stretchable-snip.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/stretchable-snip.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/stretchable-snip.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/stretchable-snip.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/text-button-snip.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/text-button-snip.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/text-button-snip.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/text-button-snip.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/toggle-button-snip.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/toggle-button-snip.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/toggle-button-snip.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/toggle-button-snip.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/vertical-alignment.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vertical-alignment.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/vertical-alignment.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vertical-alignment.scrbl diff --git a/pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/vline.scrbl b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vline.scrbl similarity index 100% rename from pkgs/gui-pkgs/gui-lib/embedded-gui/scribblings/vline.scrbl rename to pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vline.scrbl