Set up the manual

1 files changed, 4 insertions, 0 deletions

diff --git a/bootstrap b/bootstrap
index 4c37c0f..3df38a3 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,6 +1,10 @@
 #!/bin/sh
 
+(echo '\input texinfo' ;
+ echo '@include version.texi') \
+    > doc/webid-oidc.texi || exit 1
 autoreconf -vif || exit 1
+rm doc/webid-oidc.texi || exit 1
 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1
 
 ## Prepare the man pages