X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=doc%2Fmanual%2FMakefile;fp=doc%2Fmanual%2FMakefile;h=0000000000000000000000000000000000000000;hb=cf1da69dd47917f75147ab38f6041ad0fe66d952;hp=62a430fec32fe0d6f8e05045aa4f13d75f1ba7e7;hpb=a5502d1c0213dca9bf7f15c7a0e9c86f2c8a7d84;p=ust.git diff --git a/doc/manual/Makefile b/doc/manual/Makefile deleted file mode 100644 index 62a430f..0000000 --- a/doc/manual/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -all: ust.html - -ust.html: manual.texinfo - makeinfo --html --no-split manual.texinfo