Ben Greenman 6ae6e1eb90 htmls: don't overwrite index.html ... when rendering multiple html files to a directory `d`, add `d/index.html` to the set of files-to-be-writted to avoid overwriting the main index with a part that happens to have the same tag		2019-02-09 00:24:57 -05:00
..
help	point send-main-page to racket website when docs not found	2018-06-12 08:46:50 -06:00
scribble	htmls: don't overwrite index.html	2019-02-09 00:24:57 -05:00
scriblib	Fixes #120: margin notes can collide with each other (#174)	2018-05-17 15:55:58 -04:00
info.rkt	acmart: add 'shortauthors' function	2018-09-02 20:16:52 -04:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:54:52 -05:00