doc: rename manager theme
This commit is contained in:
parent
a98e5c05b4
commit
414c4f80f1
3
Makefile
3
Makefile
|
@ -999,6 +999,7 @@ distclean: clean
|
||||||
clean: common_clean handler_clean portal_clean manager_clean stop_web_server
|
clean: common_clean handler_clean portal_clean manager_clean stop_web_server
|
||||||
@rm -f $$(find */ -name '*bak' -delete)
|
@rm -f $$(find */ -name '*bak' -delete)
|
||||||
@rm -rf doc/devel
|
@rm -rf doc/devel
|
||||||
|
@rm -rf doc/pages/documentation/current/*
|
||||||
@rm -vf *gz *zip
|
@rm -vf *gz *zip
|
||||||
@rm -rf lemonldap-ng-$(VERSION)
|
@rm -rf lemonldap-ng-$(VERSION)
|
||||||
@echo "Cleaned"
|
@echo "Cleaned"
|
||||||
|
@ -1128,7 +1129,7 @@ manager_cpan: manager_conf
|
||||||
|
|
||||||
documentation:
|
documentation:
|
||||||
@sphinx-build -b html -d /tmp/doctrees \
|
@sphinx-build -b html -d /tmp/doctrees \
|
||||||
-Dhtml_theme_path=. -Dhtml_theme=my_theme\
|
-Dhtml_theme_path=. -Dhtml_theme=manager_doc_theme\
|
||||||
doc/sources/admin/ doc/pages/documentation/current/
|
doc/sources/admin/ doc/pages/documentation/current/
|
||||||
|
|
||||||
test-diff:
|
test-diff:
|
||||||
|
|
Loading…
Reference in New Issue
Block a user