Make web pages slightly prettier.

This commit is contained in:
Heikki Hannikainen 2015-09-07 00:26:04 +03:00
parent 9dc16fb6c1
commit cca9f28f3e
3 changed files with 22 additions and 1 deletions

6
doc/web-footer.html Normal file
View File

@ -0,0 +1,6 @@
</div>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/js/bootstrap.min.js"></script>
</body>
</html>

13
doc/web-header.html Normal file
View File

@ -0,0 +1,13 @@
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap.min.css">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap-theme.min.css">
</head>
<body>
<div class='container'>

View File

@ -276,8 +276,10 @@ DOCS=README.md INSTALLING.md BUILDING.md CONFIGURATION.md DEBUGGING.md \
DESTDOCS=$(addprefix $(WEBDOCS)/,$(addsuffix .html,$(basename $(DOCS))))
SRCDOCS=$(addprefix ../doc/,$(DOCS))
install-webdoc: $(DESTDOCS)
$(DESTDOCS): $(SRCDOCS)
$(DESTDOCS): $(SRCDOCS) ../doc/web-header.html ../doc/web-footer.html
cp ../doc/web-header.html $@
$(MARKDOWN) < $(addprefix ../doc/,$(basename $(notdir $@))).md > $@
cat ../doc/web-footer.html >> $@
# -------------------------------------------------------------------- #