organized in more sub directories
This commit is contained in:
parent
09f811d367
commit
4524b20ffd
46 changed files with 1 additions and 2 deletions
|
@ -7,7 +7,6 @@
|
|||
<li>\(\Hask\) category
|
||||
</li><li> Functors
|
||||
</li><li> Monads
|
||||
</li><li> Arrows
|
||||
</li><li> κατα-morphisms
|
||||
</li></ul>
|
||||
</li>
|
||||
|
|
|
@ -9,7 +9,7 @@ fi
|
|||
|
||||
cd $scriptdir
|
||||
|
||||
for rep in ??_*(/); do
|
||||
for rep in **/{??,???}_*(N/); do
|
||||
print "renaming html of $rep"
|
||||
cd $rep
|
||||
i=10
|
||||
|
|
Loading…
Reference in a new issue