Removed build script from default document directory layout.
This commit is contained in:
parent
8a2828f3bf
commit
4a7605b43e
|
@ -139,7 +139,6 @@ The directory \<^boxed_bash>\<open>myproject\<close> contains the following fil
|
||||||
.1 .
|
.1 .
|
||||||
.2 myproject.
|
.2 myproject.
|
||||||
.3 document.
|
.3 document.
|
||||||
.4 build\DTcomment{Build Script}.
|
|
||||||
.4 isadof.cfg\DTcomment{\<^isadof> configuration}.
|
.4 isadof.cfg\DTcomment{\<^isadof> configuration}.
|
||||||
.4 preamble.tex\DTcomment{Manual \<^LaTeX>-configuration}.
|
.4 preamble.tex\DTcomment{Manual \<^LaTeX>-configuration}.
|
||||||
.3 ROOT\DTcomment{Isabelle build-configuration}.
|
.3 ROOT\DTcomment{Isabelle build-configuration}.
|
||||||
|
|
Loading…
Reference in New Issue