diff --git a/doc/txt/Developer/.gitignore b/doc/src/Developer/.gitignore
similarity index 100%
rename from doc/txt/Developer/.gitignore
rename to doc/src/Developer/.gitignore
diff --git a/doc/txt/Developer/classes.fig b/doc/src/Developer/classes.fig
similarity index 100%
rename from doc/txt/Developer/classes.fig
rename to doc/src/Developer/classes.fig
diff --git a/doc/txt/Developer/classes.pdf b/doc/src/Developer/classes.pdf
similarity index 100%
rename from doc/txt/Developer/classes.pdf
rename to doc/src/Developer/classes.pdf
diff --git a/doc/txt/Developer/developer.tex b/doc/src/Developer/developer.tex
similarity index 100%
rename from doc/txt/Developer/developer.tex
rename to doc/src/Developer/developer.tex