summaryrefslogtreecommitdiff
path: root/doc/user/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès2008-01-22 17:27:37 +0100
committerLudovic Courtès2008-01-22 17:27:37 +0100
commitffd3ed37343917e87d27acb38a377686e866d741 (patch)
tree9015e7f525cace5f818050e2fa829875cb021e97 /doc/user/.gitignore
parentafc4870d9d13c217cfbbff2c68fa658fb3ef274e (diff)
downloadskribilo-ffd3ed37343917e87d27acb38a377686e866d741.tar.gz
skribilo-ffd3ed37343917e87d27acb38a377686e866d741.tar.lz
skribilo-ffd3ed37343917e87d27acb38a377686e866d741.zip
doc: Remove need to `doc-config.scm'.
* doc/user/Makefile.am (BUILT_SOURCES): Remove. (skrflags): Define `%have-ploticus?' and `%ploticus-path' using `-e'. (doc-config.scm): Remove. * doc/user/user.skb: Don't load `doc-config.scm'.
Diffstat (limited to 'doc/user/.gitignore')
0 files changed, 0 insertions, 0 deletions