index
:
opt-utilities.git
master
Optimization utilities in C++ by Junhua Gu
Git Repositories Owner
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
model_doc
/
make_doc.sh
blob: c77a1b0cb700b5f5c585df412c5f20ad9a6bbb88 (
plain
)
1
2
3
4
5
6
7
#!/bin/sh
for
i
in
*
.html
do
.
/
html2info.sh
$i
done