diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 21:51:24 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 15:44:20 +0200 |
commit | 671a159b2487efa67019b323ea7ac42793326e7e (patch) | |
tree | 00e331114508bff7a3399d7dc69310576fc89605 /doc/Makefile.am | |
parent | 443c2c3357e491da1b520d3979798092cf2e6fb2 (diff) |
Set up the manual
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..c339dc2 --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,7 @@ +EXTRA_DIST += \ + %reldir%/fdl.texi + +info_TEXINFOS = %reldir%/webid-oidc.texi +%canon_reldir%_webid_oidc_texi_TEXINFOS = %reldir%/fdl.texi + +AM_MAKEINFOHTMLFLAGS = --css-include=doc/style.css |