maj des chemins

2014-07-07 22:06:38 +04:00
parent ee78740382
commit 4100152139
94 changed files with 545 additions and 402 deletions
--- a/.dokuwikigen
+++ b/.dokuwikigen
@@ -3,10 +3,10 @@
 gendefault

 etitle "Documentation de ulib"
-array_from_lines ulibnames "$(list_files ulib)"
+array_from_lines ulibnames "$(list_files lib/ulib)"
 # faire les pages
 for ulibname in "${ulibnames[@]}"; do
-    awkrun <"ulib/$ulibname" 'BEGIN {
+    awkrun <"lib/ulib/$ulibname" 'BEGIN {
  in_func = 0
  dump_doc = 0
  dumped_doc = 0