Use the texinfo markup for the manual

1 files changed, 0 insertions, 4 deletions

diff --git a/bootstrap b/bootstrap
index 07f8c35..c04994d 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,10 +1,6 @@
 #!/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