From 0130f1a9071f71b2f29e94d20833c005643df2cd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 21 Jul 2013 12:49:45 -0600 Subject: [PATCH] remove file that has been moved/replaced --- .../unstable-doc/scribblings/gui.scrbl | 23 ------------------- 1 file changed, 23 deletions(-) delete mode 100644 pkgs/unstable-pkgs/unstable-doc/scribblings/gui.scrbl diff --git a/pkgs/unstable-pkgs/unstable-doc/scribblings/gui.scrbl b/pkgs/unstable-pkgs/unstable-doc/scribblings/gui.scrbl deleted file mode 100644 index b7fdfbc157..0000000000 --- a/pkgs/unstable-pkgs/unstable-doc/scribblings/gui.scrbl +++ /dev/null @@ -1,23 +0,0 @@ -#lang scribble/doc -@(require scribble/base - scribble/manual - (for-label scribble/base)) - -#lang scribble/doc -@(require scribble/base - scribble/manual - (for-syntax racket/base racket/path) - (for-label scribble/base)) - -@unstable-title[#:style '(toc) #:tag "unstable-gui"]{GUI} - -@local-table-of-contents[#:style 'immediate-only] - -@include-section["gui/notify.scrbl"] -@include-section["gui/prefs.scrbl"] -@include-section["gui/pict.scrbl"] -@include-section["gui/slideshow.scrbl"] -@include-section["gui/pslide.scrbl"] -@include-section["gui/redex.scrbl"] -@include-section["gui/snip.scrbl"] -@include-section["gui/scribble.scrbl"]