diff options
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index c89c95f..4020dc7 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -21,7 +21,7 @@ EXTRA_DIST += src/api1.skb \ src/links2.skb src/pie1.skb src/pie2.skb src/prgm1.skb src/prgm2.skb \ src/prgm3.skb src/slides.skb src/start1.skb src/start2.skb \ src/start3.skb src/start4.skb src/start5.skb \ - src/outline.txt + src/outline.txt src/scheme.scm html_DATA = user.html |