From cb1a4e037d0906206c3c7eaaf3797ba839b00558 Mon Sep 17 00:00:00 2001 From: Juergen Borleis Date: Mon, 2 Feb 2015 10:46:38 +0100 Subject: Docu/BSP: remove a directory created by accident The 'platform' directory is created by older PTXdist releases when the first 'ptxdist platform [...]' command runs. It is not part of the regular BSP and not required. Just remove it to not confuse new users. Signed-off-by: Juergen Borleis --- documentation/plain_sources/handling_ptxdist_revisions.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/documentation/plain_sources/handling_ptxdist_revisions.tex b/documentation/plain_sources/handling_ptxdist_revisions.tex index adb6218..e9cf135 100644 --- a/documentation/plain_sources/handling_ptxdist_revisions.tex +++ b/documentation/plain_sources/handling_ptxdist_revisions.tex @@ -46,7 +46,6 @@ total 44 drwxr-xr-x 3 jb user 160 Oct 4 18:11 configs/ drwxr-xr-x 3 jb user 80 Jun 12 11:34 documentation/ drwxr-xr-x 4 jb user 128 Oct 4 18:11 local_src/ -drwxr-xr-x 2 jb user 72 Oct 4 18:12 platform/ drwxr-xr-x 2 jb user 72 Oct 4 18:12 platform-mini2440/ drwxr-xr-x 3 jb user 72 Oct 4 18:11 projectroot/ drwxr-xr-x 2 jb user 120 Oct 4 18:11 protocol/ -- cgit v1.2.3