git.lyx.org Git - features.git/history - development/tools/generate_manuals_for

]> git.lyx.org Git - features.git/history - development/tools/generate_manuals_for_web.sh

2017-08-18	Tommaso Cucinotta	generate_manuals_for_web: switch to xhtml, and use...	blob \| commitdiff \| raw
2017-08-16	Pavel Sanda	oops, git is playing games with me.	blob \| commitdiff \| raw \| diff to current
2017-08-16	Pavel Sanda	Push Tommaso's script for publishing mans.	blob \| commitdiff \| raw \| diff to current
2017-08-16	Pavel Sanda	Push Tommaso script for manuals generation.	blob \| commitdiff \| raw \| diff to current

Repository for new features