diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-03-18 21:58:02 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-03-18 21:58:02 +0100 |
commit | d83630a9ef8c0b313254e58eff8cc4b2331ee29d (patch) | |
tree | 852a133d724b45b2f066d5dd40d603b7d558853e /.gitignore | |
parent | Wrote a bunch of documentation. (diff) | |
download | scheme-monad-d83630a9ef8c0b313254e58eff8cc4b2331ee29d.tar.gz scheme-monad-d83630a9ef8c0b313254e58eff8cc4b2331ee29d.tar.xz |
Add texinfo generation from source.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..0925d3d --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +monad.texi |