manpages revision 91c0a04f8a6d3c1121460346e0e12cf40c4e1faa
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringDescription: Generate manpages using help2man
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek satallax (2.7-1ubuntu0) quantal; urgency=low
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart Poettering * Initial release
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringAuthor: Jonathan von Schroeder <j.von_schroeder@dfki.de>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringThe information above should follow the Patch Tagging Guidelines, please
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart Poetteringcheckout http://dep.debian.net/deps/dep3/ to learn about the format. Here
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart Poetteringare templates for supplementary fields that you might want to add:
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringOrigin: <vendor|upstream|other>, <url of original patch>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringBug: <url in upstream bugtracker>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringBug-Debian: http://bugs.debian.org/<bugnumber>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringBug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringForwarded: <no|not-needed|url proving that it has been forwarded>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringReviewed-By: <name and email of someone who approved the patch>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart PoetteringLast-Update: <YYYY-MM-DD>
30f10abf42f9e4d251a0b45b07812aafdef6be7cLennart Poettering@@ -3,7 +3,20 @@ CXX ?= g++
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek-all : opt bytecode picosat
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+all : bin manpages
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+bin : opt bytecode picosat
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ help2man -N -n "SAT solver" \
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ -h "-h" picosat-936/picosat > docs/picosat.1
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ -n "SAT solver that generates a 'minimal unsatisfiable core'" \
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ --version-string=`picosat-936/picosat --version` > docs/picomus.1
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ help2man -N -n "Automated theorem prover for higher-order logic" \
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ -v "-V" -h "" bin/satallax.opt > docs/satallax.1
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek@@ -329,7 +342,7 @@ picosat :
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek make -C picosat-936
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek- -rm bin/*.cma bin/*.o bin/*.opt bin/*.so bin/*.a bin/*.cmo bin/*.cmi bin/*.cmx src/parser/tptp_parser.ml src/parser/tptp_parser.mli src/parser/tptp_lexer.ml src/coqparser/coqparser.ml src/coqparser/coqparser.mli src/coqparser/coqlexer.ml bin/satallax bin/satallax.opt
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek+ -rm docs/* bin/*.cma bin/*.o bin/*.opt bin/*.so bin/*.a bin/*.cmo bin/*.cmi bin/*.cmx src/parser/tptp_parser.ml src/parser/tptp_parser.mli src/parser/tptp_lexer.ml src/coqparser/coqparser.ml src/coqparser/coqparser.mli src/coqparser/coqlexer.ml bin/satallax bin/satallax.opt
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek -make -C picosat-936 clean
798d3a524ea57aaf40cb53858aaa45ec702f012dZbigniew Jędrzejewski-Szmek -rm minisat/core/Solver.o minisat/core/depend.mk \