Skip to content
Snippets Groups Projects
Commit ba13020e authored by Robert Klöfkorn's avatar Robert Klöfkorn
Browse files

bug fix, make dist did not work without wml installed.

[[Imported from SVN: r5021]]
parent 6abf730d
No related branches found
No related tags found
No related merge requests found
......@@ -5,8 +5,11 @@ SUBDIRS = devel doxygen layout buildsystem
# only build html pages, if documentation is enabled
if BUILD_DOCS
# only build html when wml is available
if WML
PAGES = view-concept.html installation-notes.html contrib-software.html
endif
endif
# automatically create these web pages
all: $(PAGES)
......
# $Id$
if BUILD_DOCS
# only build html when wml is available
if WML
PAGES = codingstyle.html portability.html \
ugreader.html tests.html features.html indexidsets.html
endif
endif
all: $(PAGES)
......
......@@ -2,7 +2,10 @@
if BUILD_DOCS
DOXYGENTAG = doxygen-tag
# only build html when wml is available
if WML
WHAT = bestpractice.html
endif
DOXYGEN_HTML = html
DOXYGEN_DIST = html-dist
endif
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment