diff options
Diffstat (limited to 'doc/BUGS')
-rw-r--r-- | doc/BUGS | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/BUGS b/doc/BUGS deleted file mode 100644 index 736edaace..000000000 --- a/doc/BUGS +++ /dev/null @@ -1,13 +0,0 @@ - -Known Guile documentation bugs -*- outline -*- - -* The building of HTML docs is dependent on GNU Make - -This is because the Makefile.am's for the Guile reference manual and -tutorial use a $(shell ...) command to list the set of HTML files to -install. - -Probably this will not be fixed until Automake gains proper HTML doc -support. On the other hand, if we've overlooked a more -version-independent way of achieving the same thing, please let us -know. |