Menu ▾ ▴

Commit [r9119]  Maximize  Restore  History

Updating some makeindex directives.

tswift 2017-10-29

changed /trunk/XSB/docs/userman/Makefile
changed /trunk/XSB/docs/userman/makeindex.sh
/trunk/XSB/docs/userman/Makefile Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/makeindex.sh Diff Switch to side-by-side view
Loading...