fancy « xdoc « books - acl2 - Debian dgit repo for package acl2

Mode	Name	Size
-rw-r--r--	.gitignore	38	log plain
-rw-r--r--	.htaccess	122	log plain
d---------	HTML	38	log plain
-rw-r--r--	Icon_External_Link.png	144	log plain
-rw-r--r--	LICENSE	3908	log plain
-rw-r--r--	Makefile	606	log plain
-rw-r--r--	README	4889	log plain
-rw-r--r--	collapse_subtopics.png	222	log plain
-rw-r--r--	common.scss	8127	log plain
-rw-r--r--	config.js	2663	log plain
-rw-r--r--	desktop.css	8568	log plain
-rw-r--r--	desktop.scss	4333	log plain
-rw-r--r--	download.png	1705	log plain
-rw-r--r--	expand_subtopics.png	278	log plain
-rw-r--r--	favicon.png	1840	log plain
-rw-r--r--	formula.html	2909	log plain
-rw-r--r--	formula.js	1893	log plain
-rwxr-xr-x	index-seo.php	8595	log plain
-rw-r--r--	index.html	7190	log plain
-rw-r--r--	leaf.png	209	log plain
d---------	lib	391	log plain
-rw-r--r--	menu_mobile.png	562	log plain
-rw-r--r--	minus.png	220	log plain
-rw-r--r--	mobile.css	8843	log plain
-rw-r--r--	mobile.scss	4660	log plain
-rw-r--r--	plus.png	299	log plain
-rw-r--r--	print.css	5392	log plain
-rw-r--r--	print.html	1971	log plain
-rw-r--r--	printer.png	1472	log plain
-rw-r--r--	render-html.xsl	5828	log plain
-rw-r--r--	render.js	9713	log plain
-rw-r--r--	render.xsl	7268	log plain
-rw-r--r--	sitemap.xml	441	log plain
-rw-r--r--	style.scss	10738	log plain
-rw-r--r--	view_flat.png	794	log plain
-rw-r--r--	view_tree.png	1024	log plain
-rwxr-xr-x	xdata2html.pl	7168	log plain
-rwxr-xr-x	xdata2sql.pl	4296	log plain
-rwxr-xr-x	xdata2sql4seo.pl	6150	log plain
-rwxr-xr-x	xdataget.pl	2919	log plain
-rw-r--r--	xdoc-home.png	2474	log plain
-rw-r--r--	xdoc-logo.png	45815	log plain
-rw-r--r--	xdoc.js	44592	log plain
-rw-r--r--	xdoc_index.js	6156	log plain
-rwxr-xr-x	xslt.js	6924	log plain
-rwxr-xr-x	zip.sh	2278	log plain