htmldoc: add the ability to choose the skin

skinselector hidden when JS is disabled
or when printed
This commit is contained in:
Thomas Bernard
2019-05-03 14:06:16 +02:00
parent deed88bed4
commit e39a8a55a9
2 changed files with 77 additions and 3 deletions

View File

@@ -1234,7 +1234,7 @@ doxygen:
htmldoc: $(GENERATEDOCBIN)
$(MKDIR) ../doc/html
$(CP) ../share/grafx2/skins/skin_classic.png ../doc/html
$(CP) $(filter ../share/grafx2/skins/skin%.png,$(SKIN_FILES)) ../doc/html
$(GENERATEDOCBIN) ../doc/html
print-%: