diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-11-07 20:54:08 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-07 20:54:08 +0100 |
| commit | a8c3a40c6cb3d05115c0213243edff52ba5f3dcf (patch) | |
| tree | 21546e3a77eac185c614989b4c2535face1f17c2 /Makefile | |
| parent | 590bf57446967d897ee8327c8b2df57b77f4744e (diff) | |
| parent | a4a371234215a7705f304875cc8af067bf3142af (diff) | |
Merge branch 'master' into debian
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -46,8 +46,12 @@ html: $(HTML_FILES) $(HTML_ROOTDIR)/%.html: ./doc/%.md $(HTML_TEMPLATE) mtime="$$(git --no-pager log -1 --pretty="format:%ct" -- "$<" 2>/dev/null)"; \ [ -n "$$mtime" ] || mtime="$$(date +%s -r "$<")"; \ + [ "$<" = "doc/index.md" ] && parent="" || parent="./index.html"; \ pandoc -sp -f markdown -t html+smart --css=$(CSS) --template=$(HTML_TEMPLATE) \ --variable=date:"$$(LC_TIME=C date +"Last modified on %a, %d %b %Y at %T %z" -d @"$$mtime")" \ + --variable=keywords:"interimap" \ + --variable=lang:"en" \ + --variable=parent:"$$parent" \ --output="$@" -- "$<" doc: manual html |