resource doc update
This commit is contained in:
1 parent
51a359eeea
commit
f6fe524f9d
41 files changed
+318
-131
No files matched your search
@@ -99,9 +99,13 @@ gfdoc:
|
||||
gfdoc -txthtml mathematical/Predication.gf
|
||||
gfdoc -txthtml multimodal/Multi.gf
|
||||
gfdoc -txthtml ../prelude/*.gf
|
||||
gfdoc -txthtml api/Combinators.gf
|
||||
gfdoc -txthtml api/Constructors.gf
|
||||
gfdoc -txthtml api/Symbolic.gf
|
||||
mv abstract/*.html doc/gfdoc
|
||||
mv mathematical/*.html doc/gfdoc
|
||||
mv multimodal/*.html doc/gfdoc
|
||||
mv api/*.html doc/gfdoc
|
||||
mv */Paradigms*.html doc/gfdoc
|
||||
cp */Irreg???.gf doc/gfdoc
|
||||
mv ../prelude/*.html doc/gfdoc
|
||||
|
||||
Reference in new issue
Block a user