Commit de0036fa authored by Steve Plimpton's avatar Steve Plimpton
Browse files

removing searchindex.js

parents 1c3302d1 1986eda4
Loading
Loading
Loading
Loading
+3 −1
Original line number Original line Diff line number Diff line
@@ -43,6 +43,8 @@ html: $(OBJECTS)
		sphinx-build -j 8 -b html -c utils/sphinx-config -d $(BUILDDIR)/doctrees $(RSTDIR) html ;\
		sphinx-build -j 8 -b html -c utils/sphinx-config -d $(BUILDDIR)/doctrees $(RSTDIR) html ;\
		deactivate ;\
		deactivate ;\
	)
	)
	-rm html/searchindex.js
	-rm -rf html/_sources
	@echo "Build finished. The HTML pages are in doc/html."
	@echo "Build finished. The HTML pages are in doc/html."


pdf: utils/txt2html/txt2html.exe
pdf: utils/txt2html/txt2html.exe
+2 −0
Original line number Original line Diff line number Diff line
.buildinfo
.buildinfo
objects.inv
objects.inv
searchindex.js
_sources