html:
	texi2any --html --css-ref=fset.css --split=node --set-customization-variable 'EXTRA_HEAD <script src="theme.js"></script>' Top.texi
	cp fset.css theme.js Top_html
