diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3e363e1 --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +crans.info: crans.texi + makeinfo crans.texi + +crans.html: crans.texi + makeinfo --html --no-split crans.texi + +crans_html: crans.texi + makeinfo --html -o crans_html crans.texi