move `embedded-gui' docs from "gui-lib" to "gui-doc"

2013-07-11 14:35:05 -06:00 · 2013-07-11 14:35:05 -06:00 · 4ee8dc2f5e
commit 4ee8dc2f5e
parent 98ec60242a
24 changed files with 0 additions and 0 deletions
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/info.rkt
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/info.rkt
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/aligned-pasteboard.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/aligned-pasteboard.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment-parent.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment-parent.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/alignment.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/button-snip.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/button-snip.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/common.rkt
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/common.rkt
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/containers.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/containers.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/control-snips.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/control-snips.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/controls.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/controls.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/dllist.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/dllist.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-button.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-button.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-gui.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-gui.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-message.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-message.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-text-button.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-text-button.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-toggle-button.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/embedded-toggle-button.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/hline.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/hline.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/horizontal-alignment.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/horizontal-alignment.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-procs.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-procs.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-wrapper.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/snip-wrapper.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/stretchable-snip.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/stretchable-snip.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/text-button-snip.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/text-button-snip.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/toggle-button-snip.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/toggle-button-snip.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vertical-alignment.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vertical-alignment.scrbl
--- a/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vline.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/embedded-gui/scribblings/vline.scrbl