diff options
author | Miguel de Icaza <miguel@gnome.org> | 2016-02-03 21:18:42 +0300 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2016-02-03 21:18:42 +0300 |
commit | 6cfa9c7d6484c63e7e3afa5ed4696cdbf6fe2d6f (patch) | |
tree | c2ce5bb1d27e30cf19f35a073cc210d3b832b7a6 /docs/Makefile.am | |
parent | b8462def3cff0b121cd9cbcf40fe11cc80fe2100 (diff) |
[Runtime Documentation] More work on runtime documentation
Diffstat (limited to 'docs/Makefile.am')
-rw-r--r-- | docs/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index bb90f1f2001..7c63214d4dc 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -17,10 +17,8 @@ EXTRA_DIST = \ check-exports \ check-coverage \ convert.cs \ - current-api \ deploy \ docs.make \ - documented \ embedded-api \ exdoc \ file-share-modes \ @@ -43,7 +41,6 @@ EXTRA_DIST = \ object-layout \ precise-gc \ produce-lists \ - public \ public-api \ README \ remoting \ |