diff --git a/HOWTO-ANALYSIS b/docs/HOWTO-ANALYSIS similarity index 100% rename from HOWTO-ANALYSIS rename to docs/HOWTO-ANALYSIS diff --git a/HOWTO_WEB b/docs/HOWTO_WEB similarity index 100% rename from HOWTO_WEB rename to docs/HOWTO_WEB diff --git a/HOWTO_opcontrol b/docs/HOWTO_opcontrol similarity index 100% rename from HOWTO_opcontrol rename to docs/HOWTO_opcontrol diff --git a/HOWTO_perf b/docs/HOWTO_perf similarity index 100% rename from HOWTO_perf rename to docs/HOWTO_perf diff --git a/desc/satcomp14/Makefile b/docs/satcomp14-pdf/Makefile similarity index 100% rename from desc/satcomp14/Makefile rename to docs/satcomp14-pdf/Makefile diff --git a/desc/satcomp14/cmsv4.tex b/docs/satcomp14-pdf/cmsv4.tex similarity index 100% rename from desc/satcomp14/cmsv4.tex rename to docs/satcomp14-pdf/cmsv4.tex diff --git a/desc/satcomp14/ieee.cls b/docs/satcomp14-pdf/ieee.cls similarity index 100% rename from desc/satcomp14/ieee.cls rename to docs/satcomp14-pdf/ieee.cls diff --git a/desc/satcomp14/sigproc.bib b/docs/satcomp14-pdf/sigproc.bib similarity index 100% rename from desc/satcomp14/sigproc.bib rename to docs/satcomp14-pdf/sigproc.bib diff --git a/desc/satcomp14/splncs.bst b/docs/satcomp14-pdf/splncs.bst similarity index 100% rename from desc/satcomp14/splncs.bst rename to docs/satcomp14-pdf/splncs.bst diff --git a/desc/satcomp15/Makefile b/docs/satcomp15-pdf/Makefile similarity index 100% rename from desc/satcomp15/Makefile rename to docs/satcomp15-pdf/Makefile diff --git a/desc/satcomp15/cmsv4.kilepr b/docs/satcomp15-pdf/cmsv4.kilepr similarity index 100% rename from desc/satcomp15/cmsv4.kilepr rename to docs/satcomp15-pdf/cmsv4.kilepr diff --git a/desc/satcomp15/cmsv4.tex b/docs/satcomp15-pdf/cmsv4.tex similarity index 100% rename from desc/satcomp15/cmsv4.tex rename to docs/satcomp15-pdf/cmsv4.tex diff --git a/desc/satcomp15/ieee.cls b/docs/satcomp15-pdf/ieee.cls similarity index 100% rename from desc/satcomp15/ieee.cls rename to docs/satcomp15-pdf/ieee.cls diff --git a/desc/satcomp15/sigproc.bib b/docs/satcomp15-pdf/sigproc.bib similarity index 100% rename from desc/satcomp15/sigproc.bib rename to docs/satcomp15-pdf/sigproc.bib diff --git a/desc/satcomp15/splncs.bst b/docs/satcomp15-pdf/splncs.bst similarity index 100% rename from desc/satcomp15/splncs.bst rename to docs/satcomp15-pdf/splncs.bst